// show/hide with JavaScript enabled/disabled
var display = function(el) {
  document.getElementById(el)["style"]["display"] = "block";
}, hide = function(el) {
  document.getElementById(el)["style"]["display"] = "none";
};
function nojav(){
hide('noJS');display('navig');
}