if (document.images) {
        doc0 = new Image()
        doc0.src =      "images/menukup.gif"
}

function HighLight(i) {
        if (document.images) {
                var thang = document.images[i].src
                var off = thang.lastIndexOf("up")
                if (off != -1) {
                        document.images[i].src = thang.substring(0,off) + "dn" + ".gif"
                }
        }
}

function Lightsoff(i) {
        if (document.images) {
                var thang = document.images[i].src
                var on = thang.lastIndexOf("dn")
                if (on != -1) {
                        document.images[i].src = thang.substring(0,on) + "up" + ".gif"                }
        }
}