window.location.replace(\"".$url."\")"; ?>