function update_time()
{
    var jetzt = new Date();
    var h = jetzt.getHours();
    var m = jetzt.getMinutes();
    var s = jetzt.getSeconds();
	var time_string = (h<10?'0'+h:h)+':'+(m<10?'0'+m:m)+':'+(s<10?'0'+s:s);
	for (var i = 0; i < 10; i++)
	{
		span_time = document.getElementById('time_'+i);
    	if (span_time) span_time.innerHTML = time_string;
	}
	setTimeout('update_time()', 900);
    return true;
}