<!-- 
	var myproto=location.protocol;
	var myhost=location.hostname;
	var mypath=location.pathname;
	var mysearch=location.search;
	var mygoto="https://" + myhost + mypath + mysearch
	if (location.protocol == "http:") parent.location.replace(mygoto)
// -->