
	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); 
	} 


