function updateClock()
{
  var currentTime = new Date(); 
  var currentHours = currentTime.getHours();
  var currentMinutes = currentTime.getMinutes();
  var currentSeconds = currentTime.getSeconds();  

  /* To get the Day, Month and Year - Starts here */
  var months = new Array(12);
  
  months[0] = "Jan";
  months[1] = "Feb";
  months[2] = "Mar";
  months[3] = "Apr";
  months[4] = "May";
  months[5] = "Jun";
  months[6] = "Jul";
  months[7] = "Aug";
  months[8] = "Sep";
  months[9] = "Oct";
  months[10] = "Nov";
  months[11] = "Dec";
  
  var currentMonth = currentTime.getMonth();
  var currentDay = currentTime.getDate();
  var currentYear = currentTime.getFullYear();
    
  /* To get the Day, Month and Year - Ends here */
  
  
  // 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 currentDateString = currentDay + " " + months[currentMonth] + " " + currentYear;
  var currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds + " ";
  // + timeOfDay;

  // Update the time display
  //document.getElementById("clock").firstChild.nodeValue = currentDateString + " " + currentTimeString;
  if (document.getElementById("clock"))
    document.getElementById("clock").innerHTML = currentDateString + " - " + currentTimeString;
}

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