window.location.href = 'http://".$_SERVER['HTTP_HOST']."'+document.location.hash;"; ?>