function render_header($header_content) {



global $theme_width,$settings;



	echo "<table background='".THEME."images/darkSilver_07.gif' width='100%' border='0' cellspacing='0' cellpadding='0'><tr>";

	echo "<td width='100%' align='left'><a href='index.php'>$header_content</td>";

	echo "</tr></table>";

	echo "<table width='100%' height='22' border='0' cellpadding='0' cellspacing='0'><tr>";

	echo "<td width='24' background='".THEME."images/darkSilver_16.gif'> </td>";