window.onload = function()
{
	var objs = document.getElementById('mainmenu').childNodes;
	for (var i in objs)
	  if ((objs[i].nodeType == 1) && (objs[i].nodeName.toLowerCase() == 'li'))
	{
		objs[i].onmouseover = function()
			{ this.className += ' hover'; };
		objs[i].onmouseout  = function()
			{ this.className = this.className.replace('hover', ''); };
	}
}