if (!document.getElementById && document.all) document.getElementById = document.all;
function menu(schovej1,schovej2,schovej3,ukaz)
{
  document.getElementById(schovej1).style.display = 'none';
  document.getElementById(schovej2).style.display = 'none';
  document.getElementById(schovej3).style.display = 'none';
  document.getElementById(ukaz).style.display = 'block';
}