function tab(x) {

   document.getElementById('job').style.display = "none";
   document.getElementById('map').style.display = "none";
   document.getElementById('historic').style.display = "none";
   document.getElementById('info').style.display = "none";
   document.getElementById(x).style.display = "inline";

}

    function tabdir(x) {

   document.getElementById('jobdir').style.display = "none";
   document.getElementById('infodir').style.display = "none";
   document.getElementById(x).style.display = "inline";
}