function hi(img) {
    if (img.src.indexOf("_hi.gif") > -1) {
        //img.src = img.src;
    } else {
        img.src = img.src.replace(".gif", "_hi.gif");
    }
}

function lo(img) {
    img.src = img.src.replace("_hi.gif", ".gif");
}