function changeMenu (obrazek) {
  var imgFile = "img/menu/" + obrazek + "2.gif"
  document.images[obrazek].src = imgFile
  return true
}
function restoreMenu (obrazek) {
  var imgFile = "img/menu/" + obrazek + ".gif"
  document.images[obrazek].src = imgFile
  return true
}