var sPRTC=window.location['protocol'];
var sHREF=window.location['href'];
if(sPRTC.toUpperCase()!='HTTPS:'){
	sHREF='HTTPS:'+sHREF.substring(sPRTC.length,sHREF.length);
	window.location.replace(sHREF);
}