function init ( )
{
  timeDisplay = document.createTextNode ( "" );
  document.getElementById("mive").appendChild ( timeDisplay );
  document.getElementById("saopaulo").appendChild ( timeDisplay );
  document.getElementById("seoul").appendChild ( timeDisplay );
}

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

  var currentHours1 = currentTime.getHours ( ) - 5;
  var currentHours2 = currentTime.getHours ( );
  var currentHours3 = currentTime.getHours ( ) + 7;
  
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

  // 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 timeOfDay1 = ( currentHours2 < 12 ) ? "AM" : "PM";
  var timeOfDay2 = ( currentHours1 < 12 ) ? "AM" : "PM";
  var timeOfDay3 = ( currentHours3 < 12 ) ? "AM" : "PM";

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

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

  // Compose the string for display
	//var currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;
	var currentTimeString1 = currentHours1 + ":" + currentMinutes ;
	var currentTimeString2 = currentHours2 + ":" + currentMinutes ;
	var currentTimeString3 = currentHours3 + ":" + currentMinutes ;

  // Update the time display
  
  document.getElementById("1").firstChild.nodeValue = timeOfDay2;
  document.getElementById("2").firstChild.nodeValue = timeOfDay1;
  document.getElementById("3").firstChild.nodeValue = timeOfDay3;
  
  
  document.getElementById("mive").firstChild.nodeValue = currentTimeString1;
  document.getElementById("saopaulo").firstChild.nodeValue = currentTimeString2;
  document.getElementById("seoul").firstChild.nodeValue = currentTimeString3;
}