<!--
 var url= window.location.href;
  if(url.charAt(url.length- 1)== '/') { url= url.substring(0, url.length- 1); }
  url= url+ '/';
  var s= url.indexOf("//")+ 2;
  var e= url.indexOf("@");
  if(e > 0) {
    var atpart= url.substring(s, e);
    window.location.href= url+ atpart;
 }
//-->