function $ (id) {
   return document.getElementById (id);
}
function showNav (num) {   
   for (i = 1;i < 4 ;i++) {
    var obj = 'n'+i;
    $(obj).style.display = "none";
    if ( num == i) {
     $(obj).style.display = "block";
    }
   }
}