function menuover(id){
    document.getElementById(id).src = "images/"+id+"_ov.jpg";
}

function menuout(id){
    document.getElementById(id).src = "images/"+id+".jpg";
}