HEADOFPAGE; } // HTML for BODY tag function html_body() {echo << BODYTAG; } ?>