e/sfb378/"
	><IMG src="/images/sfb378.gif" border=0 vspace=8 alt=""></A>
    </P>
<?php
  }

  $suburls =
    array(array("text" => "Home",
		"url"  => "index.html"),
	  array("text" => "People",
		"url"  => "people.html"),
	  array("text" => "Papers",
		"url"  => "papers.html"),
	  array("text" => "",
		"url"  => ""),
	  array("text" => "Manual",
		"url"  => "manual/"),
	  array("text" => "Download",
		"url"  => "download.html"),
	  array("text" => "Contributions",
		"url"  => "contribs.html"),
	  array("t