// time.js

var dayName = new Array(
  'Sunday', 
  'Monday', 'Tuesday', 'Wednesday', 'Thursday', 
  'Friday', 'Saturday'  );

var daysInMonth = new Array( 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31);

var monthName = new Array(
	'January', 'February', 'March',
	'April', 'May', 'June',
	'July', 'August', 'September',
	'October', 'November', 'December');

// determine if year is leap year
function isLeap( year) {
  var leap = (year % 400 == 0) || (year % 100 != 0) && (year % 4 == 0);
  return leap;
}

// determine if date is legal
function checkDate( day, month, year) {
  var value = true;
  if ((month < 0) || (month > 11)) value = false;
  var maxDay = daysInMonth[month];
  if (month == 1) {
    if (isLeap(year)) maxDay = 29;
  }
  if ((day <= 0) || (day > maxDay)) value = false;

//  alert("date=" + day + "/" + month + "/" + year + "  result=" + value);
  return value;
}

// return date string
function prtDMY( date) {
  return dayName[ date.getDay()] + ' ' + date.getDate() + ' ' +
         monthName[ date.getMonth()] + ' ' + date.getFullYear();
}