window.location.href='" . $url . "';"; exit(); } else { echo (""); exit(); } ?>