var timer1 = null;

function show(menu) {
  document.all[menu].style.visibility = "visible";
}

function hide(menu) {
  document.all[menu].style.visibility = "hidden";
	document.all["vyrobkymenu"].className = "nezvoleny";
}	
	
function prebarvi(odkaz) {
  var X = document.getElementById(odkaz);
	
  X.className = "zvoleny";	
}