<!--
// swap images;

// for id numbers;
// document.getElementById(id_img.id).src = "images/menu/menu_top_"+id_img.id+".gif";

function chOver(id_img) {
  document.getElementById(id_img).src = "images/menu/"+id_img+"_over.gif";
}
function chOut(id_img) {
  document.getElementById(id_img).src = "images/menu/"+id_img+".gif";
}
//-->