$(function() {
    var serverTimeDelta;
    function updateClockDisplay() {
        function formatDate(date) {
            var h = date.getHours();
            var m = date.getMinutes();
            var s = date.getSeconds();
            return (h < 10 ? '0' + h : h) + ':' +
                (m < 10 ? '0' + m : m) + ':' +
                (s < 10 ? '0' + s : s);
        }
        var date = new Date();
        date.setTime(date.getTime() + serverTimeDelta);
        jQuery('#navbar-clock a').text(formatDate(date));
        setTimeout(updateClockDisplay, 1000);
    }
    jQuery('#navbar').append('<li id="navbar-clock"><a /></li>'); // <a />
    serverTimeDelta = ogServerTime * 1000 - new Date().getTime();
    updateClockDisplay();
});