function datetime(){
  var datetime = new Date()
  var hr = datetime.getHours()
  var min = datetime.getMinutes()
  var mon = datetime.getMonth()
  var monNames = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
  var day = datetime.getDate()
  var year = datetime.getFullYear()
  if(hr < 10){
    hr = " " + hr
    }
  if(min < 10){
    min = "0" + min
    }
  if(day < 10){
    day = "0" + day
    }

document.datetime.digits.value = hr + ":" + min + " on " + monNames[mon] + " " + day + "," + " " + year 
  setTimeout("datetime()", 1000)
  }