function WorldTime(){

wTime = new Date();

wtHour = wTime.getUTCHours();
wtMinutes = wTime.getUTCMinutes();
wtSecond = wTime.getUTCSeconds();

if(wtMinutes<10) wtMinutes = "0" + wtMinutes;
if(wtSecond<10) wtSecond = "0" + wtSecond;

TokyoHour = wtHour+9;

if(TokyoHour>23) TokyoHour = TokyoHour-24;
if(TokyoHour<10) TokyoHour = "0" + TokyoHour;

document.worldclock.Tokyo.value = TokyoHour+"�F"+wtMinutes+"�F"+wtSecond;

setTimeout('WorldTime()',1000);
}