var prevOnLoad = window.onload;
window.onload = function() {
	if (prevOnLoad) prevOnLoad();
	var nav = document.getElementById("navPpal");
	for (var i=0; i<nav.childNodes.length; i++)
	{
		if (nav.childNodes[i].tagName == 'UL')
	   {
		   var ul = nav.childNodes[i];
		   for (var j=0; j<ul.childNodes.length; j++)
		   {
				  var li = ul.childNodes[j];
				  li.onmouseover = function () { this.className = this.className + ' navHover'; };
				  li.onmouseout = function () { this.className = this.className.replace(/\s*navHover\s*/g, ''); };

		   }
	   }
	}
};