print <<"EOF"; EOF print end_html;