function hidenav(nTO) {
  var oNav=document.getElementById("navtab");
  oNav.style.visibility="hidden";
  setTimeout("shownav();",nTO*1000);
}

function shownav() { 
  var oNav=document.getElementById("navtab");
  oNav.style.visibility="visible";
} 
