function OnMouseOver() {
	this.className += " hover";
}

function OnMouseOut() {
	this.className = this.className.replace(new RegExp(' hover\\b'), '');
}

window.onload = function()
{
	var $Navigation	= document.getElementById('navigation');
	if(!$Navigation) return;
	
	var $Elements 	= $Navigation.getElementsByTagName('LI');
	if(!$Elements) return;
	
	for(var $i = 0; $i < $Elements.length; ++$i)
	{
		$Elements[$i].onmouseover	= OnMouseOver;
		$Elements[$i].onmouseout	= OnMouseOut;
	}
}