function Tick() {
    var time = new Date();

    var sz = getDateString(time) + " " + getTimeString(time);
    document.getElementById("clockElement").firstChild.nodeValue = sz;
    setTimeout('Tick()', 1000);
}

function getTimeString(date) {
    var hours = date.getHours();
    var min = date.getMinutes();
    var sec = date.getSeconds();

    min = (min < 10 ? "0" : "") + min;
    sec = (sec < 10 ? "0" : "") + sec;

    var ampm = hours < 12 ? "AM" : "PM";
    hours = hours > 12 ? hours - 12 : hours;
    hours = hours == 0 ? 12 : hours;

    return hours + ":" + min + ":" + sec + " " + ampm;
}

function getDateString(date) {
    var months = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");

    var month = date.getMonth();
    var year = date.getFullYear();
    var day = date.getDate();

    var sz = months[month] + " " + day;
    if (day == 1 || day == 21 || day == 31)
        sz += "st, ";
    else if (day == 2 || day == 22)
        sz += "nd, ";
    else if (day == 3 || day == 23)
        sz += "rd, ";
    else
        sz += "th, ";

    sz += year;
    return sz;
}