function render_header($header_content) {



global $theme_width;



echo "<table align='center' cellspacing='0' cellpadding='0' width='$theme_width' class='outer-border'>

<tr>

<td>

<table cellpadding='0' cellspacing='0' width='100%'>

<tr>

<td class='full-header'>

<table cellpadding='0' cellspacing='0' width='100%'>

<tr>

<td><img src='".THEME."header.gif'></td>

</tr>

</table>

</td>

</tr>

</table>\n";



echo "<table cellpadding='0' cellspacing='0' width='100%'>\n<tr>



</tr>

</table>\n";



echo "<table cellpadding='0' cellspacing='0' width='100%'>\n<tr>\n";



}