/* Returns a proceeding "0" for single digit date number x */

function noZero(x) {
   if (x < 10) return "0" + x;
   return x;
   }


/* Inserts the local time in the id="theLocalTimeIs" tag */

function getTheLocalTime () {

   var d = new Date()
   var hours = d.getHours()
   var minutes = d.getMinutes()
   var seconds = d.getSeconds()

   var digitalHours = hours
   if (hours == 0)
      digitalHours = 12
   if (hours > 12)
      digitalHours = hours - 12

   var ampm = " am"
   if (hours > 11)
      ampm = " pm"

   document.getElementById("theLocalTimeIs").innerHTML = noZero(digitalHours) + ":" + noZero(minutes) + ":" + noZero(seconds) + ampm;

   setTimeout("getTheLocalTime()",1000)
   }