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

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

var datePat=/^(..)\/(..)\/(....) (\d{2}):(\d{2})(AM|am|PM|pm)$/;

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];
var hour = matchArray[4];
var minute = matchArray[5];
var ampm = matchArray[6];

if (!isDig(month) || !isDig(day) || !isDig(year))
	return false;
	
if (ampm=="" || hour=="" || minute=="" ) { 
	return false;
}
if (hour < 0  || hour > 12) {
	return false;
}
if (minute<0 || minute > 59) {
	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;
}

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

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

var datePat=/^(..)\/(..)\/(....) (\d{2}):(\d{2})$/;

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];
var hour = matchArray[4];
var minute = matchArray[5];

if (!isDig(month) || !isDig(day) || !isDig(year))
	return false;
	
if ( hour=="" || minute=="" ) { 
	return false;
}
if (hour < 0  || hour > 23) {
	return false;
}
if (minute<0 || minute > 59) {
	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;
}