function time(){
var runningtime= new Date();
var uur= runningtime.getHours();
var minuut= runningtime.getMinutes();
var seconde= runningtime.getSeconds();
if (minuut<=9) minuut="0"+minuut;
if (seconde<=9) seconde="0"+seconde;
var tijd=uur+":"+minuut+":"+seconde;
document.dateframe.clock.value=tijd;
window.setTimeout("time(), 1000");}