function WriteTime() {
	now=new Date;
	str=now.getHours()+':';
	(now.getMinutes()<10)?str+='0'+now.getMinutes():str+=now.getMinutes();
	str+=":";
	(now.getSeconds()<10)?str+='0'+now.getSeconds():str+=now.getSeconds();
	str+="&nbsp;";
	document.getElementById('time_pos').innerHTML=str;
	setTimeout('WriteTime()',1000);
}