function render_header($header_content) {



global $theme_width;

echo "<script type='text/javascript' src='".THEME."/grade.js'></script>";

echo "<script type='text/javascript' src='includes/stmenu.js'></script>";