<!--

function showTime()
{
  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="time">' + dateStamp + '<span>');
}

function two_digit(value)
{
    var s = value + '';
    if (s.length == 1)
      return('0' + s); else
        return(s);
}



//-->