"; echo "window.location='intro.php'"; echo ""; ?>