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>$header_content</td>



</tr>



</table>



</td>



</tr>



</table>\n";







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



<td class='sub-header'>".showsublinks("&#183;","white")."</td>



<td align='right' class='sub-header'>";



[color=red]echo "<form name='theme_switcher' method='post' action='".FUSION_SELF."'>";

echo $locale['TS002']." <select class='textbox' name='ThemeSwitcher' onChange=\"location = '".FUSION_SELF."?theme=' + document.theme_switcher.ThemeSwitcher.options[document.theme_switcher.ThemeSwitcher.selectedIndex].value;\">";



if ($handle = opendir(THEMES)) {

/* This is the correct way to loop over the directory. */

while (false !== ($file = readdir($handle))) {

if ($file != "." && $file != ".." && $file != "/" && $file != "index.php") {

if ($file == THEME_SWITCH) {

$sel = "selected";

} else {

$sel = "";

}

echo "<option value='".$file."' ".$sel.">".$file."</option>\n";

}

}

closedir($handle);

}



echo "</select>";

echo "</form>";[/color]



echo "</td>



</tr>



</table>\n";







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







}