var menuitem = new Array();
MenuInit();

function SwitchImg()
{ //start
	var rem, keep=0, store, obj, switcher=new Array, history=document.Data;
	for (rem=0; rem < (SwitchImg.arguments.length-2); rem+=3)
	{
		store = SwitchImg.arguments[(navigator.appName == 'Netscape')?rem:rem+1];
		if ((store.indexOf('document.layers[')==0 && document.layers==null) ||
		    (store.indexOf('document.all[')==0 && document.all==null))
		store = 'document'+store.substring(store.lastIndexOf('.'),store.length);
		obj = eval(store);
		if (obj != null)
		{
			switcher[keep++] = obj;
			switcher[keep++] = (history==null || history[keep-1]!=obj)?obj.src:history[keep];
			obj.src = SwitchImg.arguments[rem+2];
		}
	}
	document.Data = switcher;
} //end

function RestoreImg()
{ //start
	if (document.Data != null)
	for (var rem=0; rem<(document.Data.length-1); rem+=2)
		document.Data[rem].src=document.Data[rem+1];
} //end

function MenuInit()
{ //start
	var i=0;
	menuitem[i++] = "home";
	menuitem[i++] = "news";
	menuitem[i++] = "links";
	menuitem[i++] = "stats";
	menuitem[i++] = "dump";
	menuitem[i++] = "faqs";
//	menuitem[i++] = "docs";
} //end

function MenuWrite(pageid)
{ //start
	var i;
	document.write("<div class='menu'>");
	document.write("<center>");
	document.write("<table class='menu'><tr>")
	for (i=0; i<menuitem.length; i++)
	{
		document.write("<td>")
		if (pageid.toLowerCase()==menuitem[i])
		{
		// NOTE:
		// original images size are 88x31
		// resize is made with 112x39 (or 100x35)
			document.write("<img src='images/"+menuitem[i]+"_OPEN.gif' name='"+menuitem[i]+"' alt='"+menuitem[i]+"'>")
		}
		else
		{
			document.write("<a  href='"+menuitem[i]+".htm' onMouseOut='RestoreImg()' onMouseOver='SwitchImg(\"document."+menuitem[i]+"\",\"document."+menuitem[i]+"\",\"images/"+menuitem[i]+"_OVER.gif\")'><img src='images/"+menuitem[i]+".gif' name='"+menuitem[i]+"' alt='"+menuitem[i]+"'></a>")
		}
		document.write("</td>")
	}
	document.write("</tr></table>")
	document.write("</center>");
	document.write("</div>");
} //end
