var menu

menu =  "<span style='font-size:8pt;font-family:verdana'>|<a href='../people/faculty_index.html'><font color='990000'> Core Faculty </font></a> </b></span>| |"
         +"<span style='font-size:8pt;font-family:verdana'> <a href='../people/emeriti.html'><font color='990000'> Emeriti </font></a> </b></span>| |"
	 +"<span style='font-size:8pt;font-family:verdana'> <a href='../people/affiliated_faculty.html'><font color='990000'> Affiliated Faculty </font></a> </b></span>| |"
	 +"<span style='font-size:8pt;font-family:verdana'> <a href='../people/staff.html'><font color='990000'> Staff </font></a> </b></span>| |"
         +"<span style='font-size:8pt;font-family:verdana'> <a href='../people/students.html'><font color='990000'> Students </font></a> </b></span>| |" 
         +"<span style='font-size:8pt;font-family:verdana'> <a href='../people/alumni.html'><font color='990000'> Alumni </font></a> </b></span>|"
	
	
document.write(menu)