redirect(\"pop_up_ok.php\")"; echo ""; ?>