function replaceHover(){

    		// buscamos etiquetas  (el original buscaba divs en este caso cambiamos div por li)
        var hoverDivs = document.getElementsByTagName("li");
        for(var i=0; i<hoverDivs.length; i++){
            if(hoverDivs[i].className.indexOf('linv1') != -1){
                //  …guardamos las clases del DIV…
                var classes = hoverDivs[i].className;
                //  …en onmouseover le añadimos una clase extra, ‘hoverclass’…
                hoverDivs[i].onmouseover = function(){
                    this.className += ' linv1_hover';
                }
                //  …y se la quitamos en onmouseout
                hoverDivs[i].onmouseout = function(){
                    this.className = classes;
                }
            }
        }
    }
    
    replaceHover();