var timerID ;
function tzone(tz, os, ds, cl)
{
	this.ct = new Date(0) ;		// datetime
	this.tz = tz ;		// code
	this.os = os ;		// GMT offset
	this.ds = ds ;		// has daylight savings
	this.cl = cl ;		// font color
}
function UpdateClocks()
{
	var ct = new Array(
		new tzone('Malta: ', +1, 1, '#C0C0C0'),
		new tzone('London: ',  0, 1, '#C0C0C0'),
		new tzone('New York: ', -5, 1, '#C0C0C0'),
		new tzone('SFO: ', -8, 1, '#C0C0C0'),
		new tzone('Tokyo: ', +9, 0, '#C0C0C0'),
		new tzone('Hong Kong: ', +8, 0, '#C0C0C0'),
		new tzone('Bangkok: ', +7, 0, '#C0C0C0'),
		new tzone('SVO: ', +3, 0, '#C0C0C0')
	) ;
	var dt = new Date() ;	// [GMT] time according to machine clock
	var startDST = new Date(dt.getFullYear(), 3, 1) ;
	while (startDST.getDay() != 0)
		startDST.setDate(startDST.getDate() + 1) ;
	var endDST = new Date(dt.getFullYear(), 9, 31) ;
	while (endDST.getDay() != 0)
		endDST.setDate(endDST.getDate() - 1) ;
	var ds_active ;		// DS currently active
	if (startDST < dt && dt < endDST)
		ds_active = 1 ;
	else
		ds_active = 0 ;
	// Adjust each clock offset if that clock has DS and in DS.
	for(n=0 ; n<ct.length ; n++)
		if (ct[n].ds == 1 && ds_active == 1) ct[n].os++ ;
	// compensate time zones
	gmdt = new Date() ;
	for (n=0 ; n<ct.length ; n++)
		ct[n].ct = new Date(gmdt.getTime() + ct[n].os * 3600 * 1000) ;
	document.all.Clock0.innerHTML =
		'<font color="' + ct[0].cl + '"><B>' + ct[0].tz + '</B>' + ClockString(ct[0].ct) + '</font>' ;
	document.all.Clock1.innerHTML =
		'<font color="' + ct[1].cl + '"><B>' + ct[1].tz + '</B>' + ClockString(ct[1].ct) + '</font>' ;
	document.all.Clock2.innerHTML =
		'<font color="' + ct[2].cl + '"><B>' + ct[2].tz + '</B>' + ClockString(ct[2].ct) + '</font>' ;
	timerID = window.setTimeout("UpdateClocks()", 1001) ;
}
function ClockString(dt)
{
	var stemp, ampm ;
	var dt_year = dt.getUTCFullYear() ;
	var dt_month = dt.getUTCMonth() + 1 ;
	var dt_day = dt.getUTCDate() ;
	var dt_hour = dt.getUTCHours() ;
	var dt_minute = dt.getUTCMinutes() ;
	var dt_second = dt.getUTCSeconds() ;
	dt_year = dt_year.toString() ;
	if (0 <= dt_hour && dt_hour < 12)
	{
		ampm = 'am' ;
		if (dt_hour == 0) dt_hour = 12 ;		
	} else {
		ampm = 'pm' ;
		dt_hour = dt_hour - 12 ;
		if (dt_hour == 0) dt_hour = 12 ;		
	}
	if (dt_minute < 10)
		dt_minute = '0' + dt_minute ;
	if (dt_second < 10)
		dt_second = '0' + dt_second ;
	stemp = dt_month + '/' + dt_day + '/' + dt_year.substr(2,2) ;
	stemp = dt_hour + ":" + dt_minute + ' ' + ampm ;
	return stemp ;
}