// Initialises the menu for the page
function InitialiseMenu()
{
	// Check that this browser is IE
	if (document.getElementById && document.all)
	{
		// Get the menu
		var objNavRoot = document.getElementById("menu");

		// Loop through the main menu list
		for (var i = 0; i < objNavRoot.childNodes.length; i++)
		{
			var objNode = objNavRoot.childNodes[i];

			// Attach mouse events to the list items
			if (objNode.nodeName.toLowerCase() == "li")
			{
				objNode.onmouseover = function() { this.className += " over"; }
				objNode.onmouseout = function() { this.className = this.className.replace(" over", ""); }
			}
		}
	}
}