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