function twochars(n)
{
  if (n<10)
    {n="0"+n}
  return n
}

function showtime()
{
document.getElementById('dateline').innerHTML=Date();
ok=setTimeout('showtime()',1000);
}