var idList = new Array(
						"menu",
						"panel"
						);
function initMenu()
{
	for (var k = 0; k < idList.length; k++) {
		var nodes = document.getElementById(idList[k]).getElementsByTagName("li");
		for (var i=0; i<nodes.length; i++)
		{
			nodes[i].onmouseover = function()
			{
				this.className += " hover";
			}
			nodes[i].onmouseout = function()
			{
				this.className = this.className.replace(" hover", "");
			}
		}
	}
}
if (document.all && !window.opera) attachEvent("onload", initMenu);

			
// Global XMLHttpRequest variable
var request = null;

// This function loads the specified URL and inserts the result of it (or an error message)
// into the "content" div.  It uses a synchronous XMLHTTPRequest to do so and returns false
// if an error occurs loading the URL.
function loadURL(url)
{
	// Variable for response content
	var inner = '';
	
	// Return value
	var value = false;
	
	// Create an XMLHttpRequest object or ActiveX control
	if (window.XMLHttpRequest) 
	{
		request = new XMLHttpRequest();
	}
	else if (window.ActiveXObject)
	{
		request = new ActiveXObject("Microsoft.XMLHTTP");
	}
	
	// If XMLHTTPRequest is supported
	if (request)
	{
		// Set up synchronous request
		request.open("GET", url, false);
		
		// Send synchronous request
		request.send(null);
		
		// Check the status
		if (request.status == 200)
		{
			// Success
			inner = request.responseText;
			value = true;
		}
		else
		{
			// Error
			inner = 'Error: ' + request.status + ' ' + request.statusText;
		}
	}
	
	// Set the contents of the div
	document.getElementById("inner").innerHTML = inner;

	return value;
}