"; echo"window.location.href='$url'"; echo""; ?>