function writeMenu(curloc) {
 document.write("<table cellpadding=0 cellspacing=0 width=100%  height=100%; border=0>");
 document.write("<TR><td height=130 bgcolor=#000000 align=left colspan=3><IMG SRC='pics/banner1.jpg'></td></TR>");
 document.write("<tr><td class='menu' rowspan=2 width=5>&nbsp;</td>");
 document.write("    <td class='menu' rowspan=2 width=120 height=100%><IMG SRC='pics/blank.gif' WIDTH=120 HEIGHT=1><BR>");
 if (curloc.match("main")) {
	document.write("<font class='menu'>home</font><BR>");
	document.write("<A class='menu' HREF='people.html'>people</A><BR>");
	document.write("<A class='menu' HREF='research.html'>research</A><BR>");
	document.write("<A class='menu' HREF='publications.html'>publications</A><BR>");
	document.write("<A class='menu' HREF='data.html'>data/code</A><BR>");
	document.write("<A class='menu' HREF='contact.html'>contact</A><BR>");
 } else if (curloc.match("people")){
	document.write("<A class='menu' HREF='index.html'>home</A><BR>");
	document.write("<font class='menu'>people</font><BR>");
	document.write("<A class='menu' HREF='research.html'>research</A><BR>");
	document.write("<A class='menu' HREF='publications.html'>publications</A><BR>");
	document.write("<A class='menu' HREF='data.html'>data/code</A><BR>");
	document.write("<A class='menu' HREF='contact.html'>contact</A><BR>");
 } else if (curloc.match("research")){
	document.write("<A class='menu' HREF='index.html'>home</A><BR>");
	document.write("<A class='menu' HREF='people.html'>people</A><BR>");
	document.write("<font class='menu'>research</font><BR>");
	document.write("<A class='menu' HREF='publications.html'>publications</A><BR>");
	document.write("<A class='menu' HREF='data.html'>data/code</A><BR>");
	document.write("<A class='menu' HREF='contact.html'>contact</A><BR>");
 } else if (curloc.match("publications")) {
	document.write("<A class='menu' HREF='index.html'>home</A><BR>");
	document.write("<A class='menu' HREF='people.html'>people</A><BR>");
	document.write("<A class='menu' HREF='research.html'>research</A><BR>");
	document.write("<font class='menu'>publications</font><BR>");
	document.write("<A class='menu' HREF='data.html'>data/code</A><BR>");
	document.write("<A class='menu' HREF='contact.html'>contact</A><BR>");
 } else if (curloc.match("contact")) {
	document.write("<A class='menu' HREF='index.html'>home</A><BR>");
	document.write("<A class='menu' HREF='people.html'>people</A><BR>");
	document.write("<A class='menu' HREF='research.html'>research</A><BR>");
	document.write("<A class='menu' HREF='publications.html'>publications</A><BR>");
	document.write("<A class='menu' HREF='data.html'>data/code</A><BR>");
	document.write("<font class='menu'>contact</font><BR>");
 } else if (curloc.match("data")) {
	document.write("<A class='menu' HREF='index.html'>home</A><BR>");
	document.write("<A class='menu' HREF='people.html'>people</A><BR>");
	document.write("<A class='menu' HREF='research.html'>research</A><BR>");
	document.write("<A class='menu' HREF='publications.html'>publications</A><BR>");
	document.write("<font class='menu'>data/code</font><BR>");
	document.write("<A class='menu' HREF='contact.html'>contact</A><BR>");
 } else if (curloc.match("none")) {
	document.write("<A class='menu' HREF='index.html'>home</A><BR>");
	document.write("<A class='menu' HREF='people.html'>people</A><BR>");
	document.write("<A class='menu' HREF='research.html'>research</A><BR>");
	document.write("<A class='menu' HREF='publications.html'>publications</A><BR>");
	document.write("<A class='menu' HREF='data.html'>data/code</A><BR>");
	document.write("<A class='menu' HREF='contact.html'>contact</A><BR>");
}
document.write("<BR><font class='menu'>links:</font><BR>");
document.write("<A class='menulink' HREF='http://www.cnbc.cmu.edu/' TARGET='_blank'>CNBC</A><BR>");
document.write("<A class='menulink' HREF='http://www.cnbc.cmu.edu/cns/' TARGET='_blank'>reading group</A><BR>");
document.write("<A class='menulink' HREF='tea.html'>lab tea</A><BR>");
document.write("<A class='menulink' HREF='http://www.cs.cmu.edu/' TARGET='_blank'>CMU CS</A><BR>");
document.write("<A class='menulink' HREF='http://www.ri.cmu.edu/' TARGET='_blank'>CMU RI</A><BR>");
document.write("<A class='menulink' HREF='http://www.psy.cmu.edu/' TARGET='_blank'>CMU Psych</A><BR>");
document.write("</TD><td valign=top style='padding:15px;'>");
}