Sindbad~EG File Manager

<?
/*
	Author: Michael Shiau
	This code is available for public use with no legal restriction
*/
function disp_head($select) {

$menu = array("Start" => "?include=start", "Lesson" => "?include=tutor", "Construction" => "?include=construction", "Diagram" => "?include=diagram","Credits" => "?include=credits");

echo "<img src='images/EuclidLogo.jpg' alt='Dynamic Geometry' width='340' height='80' /><br/>\n";
echo "	<div id='header'>\n";
echo "	  <ul>\n";
foreach ($menu as $title => $link) {
	if (strcasecmp(str_replace("?include=", "", $link),$select) == 0) {
		echo "	    <li id='current'><a href='$link'>$title</a></li>\n";
	}
	else {
		echo "	    <li><a href='$link'>$title</a></li>\n";
	}
}
echo "	  </ul>\n";
echo "	</div>\n";

}

?>