function clock() {
            var d = new Date();
            var month_num = d.getMonth()
            var day = d.getDate();
            var hours = d.getHours();
            var minutes = d.getMinutes();
            var seconds = d.getSeconds();

            month=new Array("01", "02", "03", "04", "05", "06",
            "07", "08", "09", "10", "11", "12");

            if (day <= 9) day = "0" + day;
            if (hours <= 9) hours = "0" + hours;
            if (minutes <= 9) minutes = "0" + minutes;
            if (seconds <= 9) seconds = "0" + seconds;

            date_time = + day + " " + month[month_num] + " " + d.getFullYear() +
            "<br>"+ hours + ":" + minutes + ":" + seconds;
            if (document.layers) {
             document.layers.doc_time.document.write(date_time);
             document.layers.doc_time.document.close();
            }
            else document.getElementById("time").innerHTML = date_time;
             setTimeout("clock()", 1000);
        }
        clock();