function showTime()
{
  function two_digit(value)
  {
    var s = value + '';
    if (s.length == 1)
      return('0' + s); else
        return(s);
  }
  var days = new Array('Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday');
  var months = new Array('January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December');
  var now = new Date();
  var day = now.getDay();
  var today = now.getDate();
  var month = now.getMonth();
  var year = now.getFullYear();

dateStamp = days[day] + ' ' + two_digit(today) + ', ' + months[month] + ' ' + year; document.write('<span class="timestyle">' + dateStamp + '</span>');
}