function updateTime()
{
	var curr_time_m;
	var curr_time_sep;
	curr_time.setTime(curr_time.getTime()+500);

	document.getElementById("curr_time_h").innerHTML = curr_time.getHours();
	
	if (curr_time.getMinutes() < 10) curr_time_m = "0" + curr_time.getMinutes();
	else curr_time_m = curr_time.getMinutes();								
	document.getElementById("curr_time_m").innerHTML = curr_time_m;
	
	if (curr_time.getMilliseconds() ==0 ) curr_time_sep = ":";
	else curr_time_sep = "&nbsp;";
	document.getElementById("curr_time_sep").innerHTML = curr_time_sep;
}