window.location = ' . $url . ''); } } ?>