function showNav() {
  document.getElementById("navHolderDiv").style.height = "600px";
  //alert("show");
}
function hideNav() {
  document.getElementById("navHolderDiv").style.height = "134px";
  //alert("hide");
}