// JavaScript Document
var timers=new Array();

function zrus(){
  timers[1]=setTimeout("skryj()",100);
}
function skryj(){
  document.getElementById("subnavigace_knihovna").style.visibility="hidden";
}
function uloz(){
  if(timers[1])clearTimeout(timers[1]);
}
function zobraz(){
  document.getElementById("subnavigace_knihovna").style.visibility="visible";
}