// JavaScript Document
			
			document.write("<li><a href=\"../silvis.asp\">SILVIS</a></li>")
			
			document.write("<li><a href=\"../people.asp\">People</a></li><li id=\"Uberlink\"><a href=\"/people.asp\">&nbsp; &nbsp; &nbsp; Lab</a></li><li><a href=\"/alumni.asp\">&nbsp; &nbsp; &nbsp; Alumni</a></li><li><a href=\"/collaborators.asp\">&nbsp; &nbsp; &nbsp; Collaborators</a></li>")							
			
			document.write("<li><a href=\"../projects.asp\">Research</a></li>")
		
			document.write("<li><a href=\"../pubs.asp\">Publications</a></li>")
			
			document.write("<li><a href=\"../maps.asp\">Maps and data</a></li>")
			
			document.write("<li><a href=\"../info.asp\">Visit!</a></li>")
		
			document.write("<li><a href=\"../news.asp\">In the News</a></li>")