agent=navigator.userAgent;
browserVer=2;

if(agent.substring(0,7)=="Mozilla")
{
    if(parseInt(agent.substring(8,9)) >= 3)
    {
        browserVer=1;
    }
}

// preload universal ../images:
if (browserVer == 1)
{
	b0 = new Image;
    b0.src = "../images/boton1pagos.png";
    b1 = new Image;
    b1.src = "../images/boton2infraestructura.png";
    b2 = new Image;
    b2.src = "../images/boton3colaboracion.png";
    h3 = new Image;
    h3.src = "../images/boton1pagosB.png";
    h4 = new Image;
    h4.src = "../images/boton2infraestructuraB.png";
    h5 = new Image;
    h5.src = "../images/boton3colaboracionB.png";
}

function hiLite(a, b, texto)
{
    if (browserVer == 1)
    {
        document.images[a].src = eval (b +  ".src");
        var elem = document.getElementById("titulobotones");
        
        // para que funcione en IE y Mozilla
        if (elem.textContent == null){
            elem.setAttribute("innerText", texto); //IE
        } else {
            elem.textContent = texto; //Mozilla
        }
    }
}