"; exit; } else //There was some sort of problem sending the message. Redirect to an error document. echo ""; exit; ?>