function gup( name ){  name = name.replace(/[\[]/,"\\\[").replace(/[\]]/,"\\\]");  var regexS = "[\\?&]"+name+"=([^&#]*)";  var regex = new RegExp( regexS );  var results = regex.exec( window.location.href );  if( results == null )    return "";  else    return results[1];}
function byid(id){return document.getElementById(id)};
  
  function show(name)
  {
  byid("construction").style.display = 'none';
  byid("inspection").style.display = 'none';
  byid("mandr").style.display = 'none';
  byid(name).style.display = 'block';
 
  }