if (String(document.location).indexOf ("http:") == 0 && navigator.userAgent.indexOf("MSIE ") == -1)
	document.location = "https" + String(document.location).substr(4);
else
if (String(document.location).indexOf ("https:") == 0 && navigator.userAgent.indexOf("MSIE ") >= 0)
	document.location = "http" + String(document.location).substr(5);
n=document.location.pathname;