function updateClock() {
    var time_local = new Date();
    time_local.setTime(time_local.getTime() + time_offset);
    var hr = time_local.getHours();
    hr = (hr == 0 || hr > 12 ? Math.abs(hr-12) : hr);
    hr = (hr < 10 ? '0' + hr : hr);
    var mn = time_local.getMinutes();
    mn = (mn < 10 ? '0' + mn : mn);
    var cl = document.getElementById('clock');
    cl.src = '/images/clock/' + mycss + '/' + hr + mn + ".png";
    clearTimeout(timer_clock);
    timer_clock = window.setTimeout(updateClock, 60010 - ((new Date()).getTime() + time_offset) % 60000);
}

timer_clock = window.setTimeout(updateClock, 60010 - ((new Date()).getTime() + time_offset) % 60000)