function mouseover(id) {
  document.getElementById(id).src='menu/' + id + '_down.gif';
}
function mouseout(id) {
  document.getElementById(id).src='menu/' + id + '_up.gif';
}