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="../FoundationsOfGeometry/index.php?include=FoundationsOfGeometry" id="g12" class="glink" onmouseover="ehandler(event,menuitem2);">Foundations of Geometry</a>
	      <a href="../FoundationsOfGeometry/index.php?include=ConstructiveGeometry" id="g13" class="glink" onmouseover="ehandler(event,menuitem3);">Constructive Geometry</a>
   <a href="../FormalTarski/index.php" id="g14" class="glink" onmouseover="ehandler(event,menuitem7);">Tarski Formalization Project</a> 
 <a href="../FoundationsOfGeometry/index.php?include=CheckingEuclid" id="g15" class="glink" onmouseover="ehandler(event,menuitem8);">Proof-checking Euclid</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> -->