function updateClock ( )
{
  var currentTime = new Date ( );
  
  var currentDay = currentTime.getDay ( );
  var currentMonth = currentTime.getMonth ( );
  var currentDate = currentTime.getDate ( );
  var currentYear = currentTime.getFullYear ( );
  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

  // Do the formatting into words
  switch(currentDay)
  {
	case 0:
		currentDay = "Sun";
		break;
	case 1:
		currentDay = "Mon";
		break;
	case 2:
		currentDay = "Tue";
		break;
	case 3:
		currentDay = "Wed";
		break;
	case 4:
		currentDay = "Thu";
		break;
	case 5:
		currentDay = "Fri";
		break;
  }
  
  switch(currentMonth)
  {
	case 0:
		currentMonth = "Jan";
		break;
	case 1:
		currentMonth = "Feb";
		break;
	case 2:
		currentMonth = "Mar";
		break;
	case 3:
		currentMonth = "Apr";
		break;
	case 4:
		currentMonth = "May";
		break;
	case 5:
		currentMonth = "Jun";
		break;
	case 6:
		currentMonth = "Jul";
		break;
	case 7:
		currentMonth = "Aug";
		break;
	case 8:
		currentMonth = "Sep";
		break;
	case 9:
		currentMonth = "Oct";
		break;
	case 10:
		currentMonth = "Nov";
		break;
	case 11:
		currentMonth = "Dec";
		break;
  }

  // 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;
  currentHours = ( currentHours < 10 ? "0" : "" ) + currentHours;

  // Compose the string for display
  var currentTimeString = currentDay + " " + currentMonth + " " + currentDate + " " + currentYear + " " + currentHours + ":" + currentMinutes + ":" + currentSeconds;

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