// JScript File


 //function https(){
if (location.protocol != 'https:') 
{ 
//alert('https://'+ location.host + location.pathname + location.search);
window.location = 'https://'+ location.host + location.pathname + location.search; 
//alert(location.host + location.pathname + location.search); Just for sanity check 

} 
//}