function menu()
{
	elements=document.getElementById('nav').getElementsByTagName('li');
	for(i=0; i<elements.length; i++)
		{
			elements[i].onmouseover = function() {this.className+=" hover"; };
			elements[i].onmouseout = function() {this.className=this.className.replace(/hover/,""); };
		}
}