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