/* Redirect to https URL */
	function jumpto_https() {
		var url = location.href;
		if ( !url.match(/^https:/) ) {
			url = url.replace( /^[^:]+:/, "https:" );
			window.location.href = url;
		}
	};
	jumpto_https(); //Do it right now.