var $ = document.getElementById;
function changeImg(obj) {
    if (obj.src.indexOf("menu") >= 0) {
        obj.src = obj.src.replace("_0.gif", ".gif");
    }
    else {
        obj.src = obj.src.replace("0.", ".");
    }
}
function changeImg0(obj) {
    if (obj.src.indexOf("menu") >= 0) {
        obj.src = obj.src.replace(".gif", "_0.gif");
    }
    else {
        obj.src = obj.src.replace(".gif", "0.gif");
    }

}