function nav() {
    if (document.getElementById("navigation").style.display=='none') {
      document.getElementById("navigation").style.display='block';
      document.getElementById("opennav").style.display='none';
    }
    else {
      document.getElementById("navigation").style.display='none';
      document.getElementById("opennav").style.display='block';
    }
}