// Refresh Netscape on resize

NS4 = document.layers;
if (NS4) {
origWidth = innerWidth;
origHeight = innerHeight;
}

function reDo() {
if (innerWidth != origWidth || innerHeight != origHeight) 
location.reload();
}

if (NS4) onresize = reDo;

// Display date
function dateShow() {

  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; 
dateStamp = two_digit(today) + ' ' + months[month] + ' ' + year; 
document.write(dateStamp);
}

 function two_digit(value) {
 
var s = value + '';

if (s.length == 1)
return('0' + s); else
return(s);
}