var timerID = null;
var timerRunning = false;

function stopclock ()
{
  if(timerRunning)
  clearTimeout(timerID);
  timerRunning = false;
}

 function getMonthName(month)
{
 var ar = new Array(12)
 ar[0] = "jan"
 ar[1] = "feb"
 ar[2] = "mar"
 ar[3] = "mai"
 ar[4] = "apr"
 ar[5] = "jun"
 ar[6] = "jul"
 ar[7] = "aug"
 ar[8] = "sep"
 ar[9] = "okt"
 ar[10] = "nov"
 ar[11] = "dec"
 return ar[month]
}


function drawCal() 
{
 var now = new Date();
 var minute = now.getMinutes();
 var hour = now.getHours();
 var date = now.getDate();
 var month = now.getMonth();
 var year = now.getYear();
 var monthName = getMonthName(month);
 if (minute < 10)
     minute = "0" + minute;
 if (date < 10)
     date = "0" + date;
 var text = "";
     text += date + '' + hour + '' + minute + 'Z' + monthName + '' + year;
     timerID = setTimeout("drawCal()",1000);
     timerRunning = true;
document.clock.full.value=text;
}

function startclock () 
{
 stopclock();
 drawCal();
}