function ProtocolSwitch(ProtocolName)
{
	if(!SwitchFlag)
	{
		SwitchFlag=true;
		if(window.location.href.substr(0,window.location.href.indexOf(':'))!=ProtocolName)
		{
			window.location.href=ProtocolName+window.location.href.substr(window.location.href.indexOf(':'));
		}
	}
}

var SwitchFlag=false;