<!--
var lastMinute;
function showKoreaTime()
{
	if (!document.getElementById) return
    var elt=document.getElementById("currentTime");
    if (!elt) return;

 	var d=new Date();
    var dateLocal=d.getDate();
	d.setUTCHours(d.getUTCHours()+9);
 	var h=d.getUTCHours();
 	var m=d.getUTCMinutes();
 	if (m==lastMinute) return;
 	lastMinute=m;
 	if (h<10) h="0"+h;
	if (m<10) m="0"+m;

	var strTime=h+":"+m;

	var monthNames=new Array(
		"januari","februari","mars","april","maj","juni",
		"juli","augusti","september","oktober","november","december");
	if (dateLocal!=d.getUTCDate()) {
	   strTime+=" den "+d.getUTCDate()+" "+monthNames[d.getUTCMonth()];
    }
    elt.innerHTML=strTime;
}

function loadKoreaTime()
{
	if (document.getElementById) {
	   showKoreaTime();
	   setInterval("showKoreaTime()",1000);
    }
}

//-->