var base = "images/";
if (document.images) {
        img11on = new Image();   img11on.src = base + "nav_case_on.gif";
        img12on = new Image();   img12on.src = base + "nav_list_on.gif";
        

        // Inactive images
        img11off = new Image();   img11off.src = base + "nav_case_off.gif";
        img12off = new Image();   img12off.src = base + "nav_list_off.gif";

        }
        
        function imgOn(imgName) {
            if (document.images) {
                document[imgName].src = eval(imgName + "on.src");       
            }
    }

    function imgOff(imgName) {
            if (document.images) {
                document[imgName].src = eval(imgName + "off.src");        
            }
    }