print <<"      EOF";
...
END