"; echo "document.location=\"prod.php3\""; echo ""; ?>