// navigation function

function navOver(obj, isOver) {
    var item = document.getElementById(obj.id);
    var filename;

    if (isOver) {
        filename = item.src.substring(0, item.src.lastIndexOf("."));
        item.src = filename + "_over.png";
    }
    else {
        filename = item.src.substring(0, item.src.lastIndexOf("_"));
        item.src = filename + ".png";
    }
}