EOT; } function html_footer() { return << EOT; }