function deptmenu(page) {
	document.write('<font size="-1" color="red"><i>Department</i> Links &nbsp;\n');
	document.write('<a class="deptmenu" HREF="zoning.html">&nbsp; Zoning Intro </a>&nbsp;\n');
	document.write('<a class="deptmenu" HREF="zoning_map.html">&nbsp; Zoning Map </a>&nbsp;\n');
	document.write('<a class="deptmenu" HREF="http://qcode.us/codes/gladstone/" target=_blank>&nbsp; Zoning Code </a>&nbsp;\n');
	
	
	if (page == 2 | page ==4) 
		{
		document.write('<a class="deptmenu" HREF="#FAQtop">&nbsp; Top </a>&nbsp;\n');
		}
	document.write('</font>\n');
	}