// JavaScript Document
cas = new Date();
function set_time(h, m, s)
{
	cas.setHours(h);
	cas.setMinutes(m);
	cas.setSeconds(s);
	
	refresh_time();
}

function refresh_time()
{
	hod = cas.getHours();
	if(hod < 10)
	{
		hod = '0'+hod;
	}
	
	minu = cas.getMinutes();
	if(minu < 10)
	{
		minu = '0'+minu;
	}
	
	cas.setSeconds(cas.getSeconds()-1);
	
	sec = cas.getSeconds();
	if(sec < 10)
	{
		sec = '0'+sec;
	}
	
	document.getElementById('aph_time').innerHTML=hod+':'+minu+':'+sec;
	x = setTimeout('refresh_time()', 1000);
}