websh/buttons.js

if (document.images) {
        var prod_a = new Image();
        var prod_b = new Image();
        var docu_a = new Image();
        var docu_b = new Image();
        var supp_a = new Image();
        var supp_b = new Image();
        var ress_a = new Image();
        var ress_b = new Image();
        var down_a = new Image();
        var down_b = new Image();

        prod_a.src ="/websh/buttons/b_prod_a.gif";
        prod_b.src ="/websh/buttons/b_prod_b.gif";
        docu_a.src ="/websh/buttons/b_docu_a.gif";
        docu_b.src ="/websh/buttons/b_docu_b.gif";
        supp_a.src ="/websh/buttons/b_supp_a.gif";
        supp_b.src ="/websh/buttons/b_supp_b.gif";
        ress_a.src ="/websh/buttons/b_ress_a.gif";
        ress_b.src ="/websh/buttons/b_ress_b.gif";
        down_a.src ="/websh/buttons/b_down_a.gif";
        down_b.src ="/websh/buttons/b_down_b.gif";
}

function swap(img, type) {

        if(document.images) {
                document[img].src = "/websh/buttons/" + type + ".gif";
        }
}