window.location="'.htmlspecialchars($_GET["url"]).'";'); } ?>