// Array for måneder
function live_watch(a) { 
var maaneder = new Array(11)
maaneder[0] = "Januar" 
maaneder[1] = "Februar"
maaneder[2] = "Marts"
maaneder[3] = "April"
maaneder[4] = "Maj"
maaneder[5] = "Juni"
maaneder[6] = "Juli"
maaneder[7] = "August"
maaneder[8] = "September"
maaneder[9] = "Oktober"
maaneder[10] = "November"
maaneder[11] = "December"
// Array for ugedage
var ugedage = new Array(6)
ugedage[0] = "Søndag" 
ugedage[1] = "Mandag" 
ugedage[2] = "Tirsdag" 
ugedage[3] = "Onsdag"
ugedage[4] = "Torsdag" 
ugedage[5] = "Fredag" 
ugedage[6] = "Lørdag" 
var now = new Date()
var dag= now.getDay()
var dato= now.getDate()
var aar= now.getYear()
if (aar<2000)
  aar= aar+1900;
var maaned= now.getMonth()
var min= "" + now.getMinutes()
var tim= now.getHours()
var sec = "" + now.getSeconds()
if (min.length < 2) min = "0" + min
if (sec.length < 2) sec = "0" + sec
if (a)
  return ugedage[dag]+" d. "+dato+" . "+maaneder[maaned]+" "+aar+", kl. "+tim+":"+min+":"+sec
else
  return ugedage[dag]+" d. "+dato+" . "+maaneder[maaned]+" "+aar+", kl. "+tim+":"+min;
}

var datoformat = live_watch(document.all)

function update_watch() {  
  if (document.all) {
    document.all.tid.innerText = live_watch(1)
    setTimeout("update_watch()",1000)
  }
}