<!-- Begin
var timerID ;
function tzone(os, ds, cl)
{
    this.ct = new Date(0) ;		// datetime
    this.os = os ;		// GMT offset
    this.ds = ds ;		// has daylight savings
    this.cl = cl ;		// font color
}

function UpdateClocks()
{
var ct = new Array(
new tzone(+8, 0, 'silver'),
new tzone(+4, 0, 'silver'),
//new tzone(+5, 0, 'silver'),
new tzone(+4, 0, 'silver'),
new tzone(+10, 0, 'silver'),
new tzone(+2, 0, 'silver'),
new tzone(+1, 0, 'silver'),
new tzone(+2, 0, 'silver'),
new tzone(-3, 1, 'silver'),
new tzone(-4, 0, 'silver')
    ) ;

    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 ;

    var printstr = "";

    gmdt = new Date() ;
    for (n=0 ; n<ct.length ; n++) {
        ct[n].ct = new Date(gmdt.getTime() + ct[n].os * 3600 * 1000) ;
    }
document.all.Clockk0.innerHTML = ClockString(ct[0].ct);
document.all.Clockk1.innerHTML = ClockString(ct[1].ct);
//document.all.Clockk2.innerHTML = ClockString(ct[2].ct);
document.all.Clockk3.innerHTML = ClockString(ct[2].ct);
document.all.Clockk4.innerHTML = ClockString(ct[3].ct);
document.all.Clockk5.innerHTML = ClockString(ct[4].ct);
document.all.Clockk6.innerHTML = ClockString(ct[5].ct);
//document.all.Clockk7.innerHTML = ClockString(ct[6].ct);
document.all.Clockk8.innerHTML = ClockString(ct[7].ct);
document.all.Clockk9.innerHTML = ClockString(ct[8].ct);

timerID = window.setTimeout("UpdateClocks()", 1001) ;
}
function ClockString(dt)
{
    var stemp ;
    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 (dt_minute < 10)
        dt_minute = '0' + dt_minute ;
    if (dt_second < 10)
        dt_second = '0' + dt_second ;
    stemp = dt_month + '/' + dt_day ;
    stemp = stemp + ' ' + dt_hour + ":" + dt_minute; // + ":" + dt_second;
    return stemp ;
}
//  End -->