9,10d8
< 
< 
192c190
<     location.href='http' + document.URL.substring(5).replace('.html','.php').replace('.htm','.php');
---
>     location.href='http' + document.URL.substring(5);
196,199d193
<   //if (document.URL.toLowerCase().indexOf('https:') == 0) {
<     //alert('http' + document.URL.substring(5));
<   //  location.href='http' + document.URL.substring(5);
<   //}