function showTime(time, time_zone) {
    try {
        t = e$('time');
        if (t) {
            if ((time == undefined || time == null) && time_zone != undefined) {
                currentDate = new Date();
                currentDate.setTime(currentDate.getTime() + timeDelta);
                time = formatTime(currentDate, time_zone);
            }
            t.innerHTML = time;
        }
    }
    catch(e) {}
}

function formatTime(datetime, zone)
{
    var h = checkTime(datetime.getHours());
    var m = checkTime(datetime.getMinutes());
    var s = checkTime(datetime.getSeconds());
    var monthName = month[datetime.getMonth()];
    var d = checkTime(datetime.getDate());
    var y = checkTime(datetime.getYear());
    return h + ':' + m + ':' + s + ', ' + d + '. ' +
           monthName + ' ' + zone;
}

function checkTime(i)
{
    return i < 10 ? '0' + i : i;
}