var mystring = "leer";
var ergebnis = -2;
var pos = 0;
var pos2 = 0;
var rstring = "";

mystring = document.URL;
ergebnis = mystring.indexOf ("https://");

if (ergebnis == -1)
{

   if (mystring.indexOf ("http://") != -1)
   		{
   			mystring = mystring.replace(/http:/i, "https:");
   			pos = mystring.indexOf (":",6)

			if (pos != -1)
				{
   					pos2 = mystring.indexOf ("/",pos);

   					if (pos2 == -1)
   					{
   						mystring = mystring.substr (0,pos);
   					}
   					else
   					{
   						rstring = mystring.substr (pos2,mystring.length-pos2);
   						mystring = mystring.substr (0,pos) + rstring;
   					}
   				}
   			
   			document.location.href = mystring;
   		}

}