if ($_POST['user']) { print "Hello, "; print $_POST['user']; print "!";} else { print <<<_HTML_Your Name: _HTML_;}?>