function mouseover(strid) {
            document.getElementById(strid).src = "menu/" + strid + "over.gif";
        }
function mouseout(strid) {
            document.getElementById(strid).src = "menu/" + strid + ".gif";
        }