function DajElement(id) {
  var element;
  if(document.getElementById)
    element=document.getElementById(id);
  else if(document.all)
    element=document.all[id];
  else if(document.layers)
    element=document.layers[id];
  return element;
}

function dole(id) {
  var element = DajElement(id);
  element.src = "obr/menu/" +id+ "2.gif";
}

function hore(id) {
  var element = DajElement(id);
  element.src = "obr/menu/" +id+ "1.gif";
}