function over(obr,new_obr) {
  obr.src=new_obr; }
  
function over_menu(item,visible){
  if (visible)
    item.style.visibility="visible";
  else
    item.style.visibility="hidden";
}