var MENU_INDEX = 0;
function WriteMenu(section)
{
	var files = new Array(7);
	var names = new Array(7);
	var selected = new Array(7);
	var i, id;
	var hr = "<HR NOSHADE SIZE=1 color=#FFFFFF WIDTH=\"100%\">";
	var imgDir = "/~jensenl/images/";
	
	//this is done so the browser pre-loads the image making it immediately available on rollover
	var tempImage1 = new Image;
	tempImage1.src = "link_sm_on.gif";

	files[0] = "index.html";
	names[0] = "<strong>m a i n</strong>";
	selected[0] = (section == "main");
	files[1] = "feedback/";
	names[1] = "f e e d b a c k";
	selected[1] = (section == "feedback");
	files[2] = "writing/";
	names[2] = "w r i t i n g";
	selected[2] = (section == "writing");
	files[3] = "art/";
	names[3] = "a r t";
	selected[3] = (section == "art");
	files[4] = "visuals/";
	names[4] = "v i s u a l s";
	selected[4] = (section == "visuals");
	files[5] = "random/";
	names[5] = "r a n d o m";
	selected[5] = (section == "random");
	files[6] = "new.html";
	names[6] = "n e w";
	selected[6] = (section == "new");
	files[7] = "map.html";
	names[7] = "<strong>m a p</strong>";
	selected[7] = (section == "map");
	
	if (MENU_INDEX == 1) document.write(hr);
	document.write("<center><span class=\"menuItem\">");
	document.write("[");
	for (i=0; i<files.length; i++)
	{
		id = "menu" + i + "_" + MENU_INDEX;
		document.write("&nbsp;&nbsp;");
		if (selected[i]) document.write("<span class=\"menuSelectedItem\">");
		document.write(names[i]);
		if (selected[i]) document.write("</span>");
		document.write(" <a href=\"/~jensenl/" + files[i] + "\"")
		document.write(" onMouseOut=\"document." + id + ".src ='" + imgDir + "link_sm.gif';\"")
		document.write(" onMouseOver=\"document." + id + ".src ='" + imgDir + "link_sm_on.gif';\">")
		document.write("<img src=\"" + imgDir + "link_sm.gif\" name=\"" + id + "\" border=0 align=absmiddle>")
		document.write("</a>")
		document.write("&nbsp;&nbsp;");
	}
	document.write("]");
	document.write("</span></center>");
	if (MENU_INDEX == 0) document.write(hr);
	MENU_INDEX++;
}