function dispMENU(SWITCH,WHICH) {

 var ARROW = document.getElementById(WHICH + "ARROW");
 var BOX = document.getElementById(WHICH + "BOX");
 document.getElementById(WHICH).className = "NVwte";

 sw = "block";
 ARROW.style.display = sw;
 BOX.style.display = sw;



}


function fillWords(WHICH) {

 var BOX = document.getElementById(WHICH + "BOX")

 LINKO = "";
 for (i=0; i<LINKS.length; i++) {
  Lnka = LINKS[i].split("|");
  if (Lnka) {LINKO += '<a href="'+Lnka[1]+'" onmouseover=\'dispMENU(1,"'+WHICH+'")\'>'+Lnka[0]+'</a>';}
 }

 BOX.innerHTML = "<div class=spc></div>" + LINKO;

}



function clearBoxes() {

   var ARROW = document.getElementById("INFO" + "ARROW");
   var BOX = document.getElementById("INFO" + "BOX");
   sw = "none";
   ARROW.style.display = sw;
   BOX.style.display = sw;

   document.getElementById("INFO").className = "NVblk";
   document.getElementById("HOME").className = "NVblk";
   document.getElementById("FACULTY").className = "NVblk";
   document.getElementById("CONTACT").className = "NVblk";

}

function updateClock ( ) {
  var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

// getDay()  day of the week
// getDate() day of the month
// getMonth() get month
// getFullYear() get full year

  var daysWeek = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
  var Months = new Array("January","February","March","April","May","June","July","August","September","October","November","December")

  currentDayWeek = daysWeek[currentTime.getDay()];
  currentMonth = Months[currentTime.getMonth()];
  currentDate = currentTime.getDate();
  currentYear = currentTime.getFullYear();


  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;

  // Choose either "AM" or "PM" as appropriate
  var timeOfDay = ( currentHours < 12 ) ? "am" : "pm";

  // Convert the hours component to 12-hour format if needed
  currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;

  // Convert an hours component of "0" to "12"
  currentHours = ( currentHours == 0 ) ? 12 : currentHours;

  // Compose the string for display
  var currentTimeString = currentDayWeek + ", " + currentMonth + " " + currentDate + ", " + currentYear + "<br>" + currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;

  // Update the time display
  if (document.getElementById("clock")) {document.getElementById("clock").innerHTML = currentTimeString;}
}

window.onload = function() {
 updateClock(); setInterval('updateClock()', 1000 )
}