Sindbad~EG File Manager

<div class="skipLinks">skip to: <a href="#content">page content</a> | <a href="./pageNav">links on this page</a> | <a href="#globalNav">site navigation</a> | <a href="#siteInfo">footer (site information)</a> </div>
<div id="masthead"> 
  <h1 id="siteName" align="left">Michael Beeson's Research</h1> 
  <div id="utility"> 
    <a href="#">Utility Link</a> | <a href="#">Utility Link</a> | <a href="#">Utility
    Link</a> 
  </div> 
  <div id="globalNav"> 
    <img alt="" src="./gblnav_left.gif" height="32" width="4" id="gnl"> <img alt="" src="./glbnav_right.gif" height="32" width="4" id="gnr"> 
    <div id="globalLink"> 
      <a href="research.php" id="gl1" class="glink" onmouseover="ehandler(event,menuitem1);">Research Home</a>
	  <a href="papers/pubs.php" id="gl2" class="glink" onmouseover="ehandler(event,menuitem2);">Publications</a>
	    <a href="Talks.php" id="gl3" class="glink" onmouseover="ehandler(event,menuitem3);">Talks</a>
	        <a href="Forewords.php" id="gl4" class="glink" onmouseover="ehandler(event,menuitem4);">Forewords/Translations</a>		 
	  <a href="http://www.HelpWithMath.com" id="gl5" class="glink" onmouseover="ehandler(event,menuitem5);">MathXpert Software</a>
	  <a href="otter-lambda/index.php" id="g16" class="glink" onmouseover="ehandler(event,menuitem6);">Otter lambda</a>
	    <a href="FoundationsOfGeometry/index.php?include=FoundationsOfGeometry" id="g17" class="glink" onmouseover="ehandler(event,menuitem7);">Foundations of Geometry</a>
	  <a href="minimalsurfaces/index.php" id="g18" class="glink" onmouseover="ehandler(event,menuitem8);">Minimal Surfaces</a>
	   <a href="LectureNotes.php" id="g19" class="glink" onmouseover="ehandler(event,menuitem9);">Lecture Notes</a>
	  	 
	
	</div>  
    <!--end globalLinks--> 
    <form id="search" action=""> 
      <input name="searchFor" type="text" size="10"> 
      <a href="">search</a> 
    </form> 
  </div> 
  <!-- end globalNav --> 
  <div id="subglobal1" class="subglobalNav"> 
    <!--<a href="#">subglobal1 link</a> | <a href="#">subglobal1 link</a> | <a href="#">subglobal1
    link</a> | <a href="#">subglobal1 link</a> | <a href="#">subglobal1 link</a> | <a href="#">subglobal1
    link</a> | <a href="#">subglobal1 link</a> -->
  </div> 
  <div id="subglobal2" class="subglobalNav"> 
  </div>
  <div id="subglobal3" class="subglobalNav">
  </div> 
  <div id="subglobal4" class="subglobalNav"> 
    <!--<a href="#">subglobal4 link</a> | <a href="#">subglobal4 link</a> | <a href="#">subglobal4
    link</a> | <a href="#">subglobal4 link</a> | <a href="#">subglobal4 link</a> | <a href="#">subglobal4
    link</a> | <a href="#">subglobal4 link</a> -->
  </div> 
  <div id="subglobal5" class="subglobalNav"> 
    <!--<a href="#">subglobal5 link</a> | <a href="#">subglobal5 link</a> | <a href="#">subglobal5
    link</a> | <a href="#">subglobal5 link</a> | <a href="#">subglobal5 link</a> | <a href="#">subglobal5
    link</a> | <a href="#">subglobal5 link</a> -->
  </div> 
  <div id="subglobal6" class="subglobalNav"> 
    <!--<a href="#">subglobal6 link</a> | <a href="#">subglobal6 link</a> | <a href="#">subglobal6
    link</a> | <a href="#">subglobal6 link</a> | <a href="#">subglobal6 link</a> | <a href="#">subglobal6
    link</a> | <a href="#">subglobal6 link</a> -->
  </div> 
  <div id="subglobal7" class="subglobalNav"> -->
    <!--<a href="#">subglobal7 link</a> | <a href="#">subglobal7 link</a> | <a href="#">subglobal7
    link</a> | <a href="#">subglobal7 link</a> | <a href="#">subglobal7 link</a> | <a href="#">subglobal7
    link</a> | <a href="#">subglobal7 link</a> -->
  </div> 
  <div id="subglobal8" class="subglobalNav"> 
    <!--<a href="#">subglobal8 link</a> | <a href="#">subglobal8 link</a> | <a href="#">subglobal8
    link</a> | <a href="#">subglobal8 link</a> | <a href="#">subglobal8 link</a> | <a href="#">subglobal8
    link</a> | <a href="#">subglobal8 link</a> -->
  </div> 
</div> 
<!-- end masthead --> 
<div id="pagecell1"> 
  <!--pagecell1--> 
  <img alt="" src="Spacer.gif" height="6" width="6" id="tl"> <img alt="" src="Spacer.gif" height="6" width="6" id="tr"> 
  <!--<div id="breadCrumb"> 
    <a href="#">Breadcrumb</a> / <a href="#">Breadcrumb</a> / <a href="#">Breadcrumb</a> /
  </div> -->