<?php print "Hello World\n"; printf("%.2f",$price); print<<<_END_<input type="submit" value="$val">_END_;?>
