funlists = function() {
if (document.all&&document.getElementById) {
var nav = document.getElementById( 'mainnavigation' );
var items = nav.getElementsByTagName( 'li' );
for( var i=0; i < items.length; i++ ){
   items[i].onmouseover = function(){
      this.className+=" hover";
   };
   items[i].onmouseout = function(){
      this.className=this.className.replace(" hover", "");
   };
}
}
}
window.onload=funlists;