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