var days = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
var months = new Array("Jänner", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");

function setClock() {
    var date = new Date();
    var year = date.getFullYear();
    var day = date.getDay();
    var month = date.getMonth();
    var daym = date.getDate();
    if (daym < 10) daym = "0" + daym;
    var hours = date.getHours();
    var minutes = date.getMinutes();
    var seconds = date.getSeconds();
    if (hours < 10) hours = "0" + hours;
    if (minutes < 10) minutes = "0" + minutes;
    if (seconds < 10) seconds = "0" + seconds;
    var s = document.getElementById("clock");
    s.innerHTML = days[day] + ", " + daym + ". " + months[month] + " " + year + "  " + hours + ":" + minutes + ":" + seconds;
}