/*************************************************************************\
boolean isDate(String argvalue)
return true if argvalue is a date in the format mm/dd/yyyy,
else return false.
\*************************************************************************/

function isDate(argvalue) {
argvalue = argvalue.toString();

var datePat=/^(..)\/(..)\/(....)$/;

if (argvalue.length == 0)
return false;

var matchArray=argvalue.match(datePat);
if (matchArray==null) {
  /* wrong format. */
	return false;
}
var month=matchArray[1];
var day=matchArray[2];
var year=matchArray[3];

if (!isDig(month) || !isDig(day) || !isDig(year))
	return false;

month--;
date = new Date(year, month, day);
var year2=date.getYear();
if (year2 < 1000) year2 += 1900;
if ( (year2 == year) &&
         (month == date.getMonth()) &&
         (day == date.getDate()) )
        return true;
else
	return false;
}