$pagename\n"; } $s_page = htmlspecialchars($vars['page']); $body = ''; $body .= <<
EOD; return $body; } ?>