var menuarray = new Array;function addmenu (title,itemstring,linkprefix,linkstring,state,enabled)// title: string// items: text string of items// links: text string of links// state: bool{	var m;	items = itemstring.split (';');	links = linkstring.split (';');		m = new Object;	m.title = title;	m.closed = "";	//m.open = '<ul class="small">\n';	m.open="";	if (itemstring.length>0)	{	for (i=0;i<items.length;i++)	{		if (i>links.length)			links[i] = "javascript:;";		else if (links[i] == undefined)			links[i] = "javascript:;";		s='<li><a href="' + linkprefix + links[i] + '" target="main">' + items[i] + '</a>\n';		m.open += s + "\n";			}	}	//m.open += "</ul>\n";	m.isOpen = state;	m.enabled = enabled;	menuarray[menuarray.length] = m	}function buildmenus (){	var m;	for (m=0;m<menuarray.length;m++)	{		if (!menuarray[m].enabled)			document.write('<font color="#AAAAAA">');		if (menuarray[m].open == "")		{			mt=menuarray[m].title+"<br>\n";		}		else 			mt='<a href="javascript:menuexpand(' + m + ')">' + menuarray[m].title + '</a><br>\n';					document.write(mt);		document.write ('<ul class="small">');		dt = '<div id="menu' + m + '">\n';		document.write(dt);						if (menuarray[m].isOpen)			document.write(menuarray[m].open)		else			document.write(menuarray[m].closed)					document.write('</div>\n');		document.write('</ul>');		if (!menuarray[m].enabled)			document.write('</font>');	}}function menuexpand (m){	divname = 'menu' + m;	menuobject = document.getElementById (divname);	menuarray[m].isOpen = ! menuarray[m].isOpen;		if (menuarray[m].isOpen)		menuobject.innerHTML = menuarray[m].open	else		menuobject.innerHTML = menuarray[m].closed}
