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