function writeMenu(currentMenuItem)
{
 	var maybeImportant = ['','','','','','','','']; // one for each menu item
 	
 	maybeImportant[currentMenuItem - 1] = ' class="important"';
 
	document.write('<ul>');
	document.write('<li' + maybeImportant[0] +'><a href="/index.html">This Week\'s Puzzle</a></li>');
	document.write('<li' + maybeImportant[1] +'><a href="/instructions.html">How To Play</a></li>');
	document.write('<li' + maybeImportant[2] +'><a href="/archives.html">Previous Nonoriddles</a></li>');
	document.write('<li' + maybeImportant[3] +'><a href="/FAQ.html">FAQ</a></li>');
	document.write('<li' + maybeImportant[4] +'><a href="/news.html">News</a></li>');
	document.write('<li' + maybeImportant[5] +'><a href="/forums.html">Forums</a></li>');
	document.write('<li' + maybeImportant[6] +'><a href="/contact.html">Contact</a></li>');
	document.write('<li' + maybeImportant[7] +'><a href="/rss.html">Subscribe / RSS Feed</a></li>');
	document.write('</ul>');

}