/*
 * menu.js
 *
 * display the menubar
 */

var ajaxreq1 = false, ajaxCallback1;

function ajaxRequest1(filename)
{
	try
	{
		/*
		 * Most browsers
		 */
		ajaxreq1 = new XMLHttpRequest();
	} catch (error) {
		try
		{
			ajaxreq1 = new ActiveXObject("Microsoft.XMLHTTP");
		} catch (error) {
			return (false);
		}
	}
	
	ajaxreq1.open("GET", filename);
	ajaxreq1.onreadystatechange = ajaxResponse1;
	ajaxreq1.send(null);
}

function ajaxResponse1()
{
	if (ajaxreq1.readyState != 4)
		return;
		
	if (ajaxreq1.status == 200)
	{
		if (ajaxCallback1)
			ajaxCallback1();
	} else {
		alert("Request failed: " + ajaxreq1.statusText);
	}
	
	return true;
}

function displayMenu()
{
	s = ajaxreq1.responseText;
		
	document.getElementById("mainnav").innerHTML = s;
}

ajaxCallback1 = displayMenu;
ajaxRequest1("script/menu.php?nocache=" + Math.random() * 1000000);