var g_WeekDayNames = new Array(7);
g_WeekDayNames[0] = "Sunday";
g_WeekDayNames[1] = "Monday";
g_WeekDayNames[2] = "Tuesday";
g_WeekDayNames[3] = "Wednesday";
g_WeekDayNames[4] = "Thursday";
g_WeekDayNames[5] = "Friday";
g_WeekDayNames[6] = "Saturday";

var g_MonthNames = new Array(12);
g_MonthNames[0] = "January";
g_MonthNames[1] = "February";
g_MonthNames[2] = "March";
g_MonthNames[3] = "April";
g_MonthNames[4] = "May";
g_MonthNames[5] = "June";
g_MonthNames[6] = "July";
g_MonthNames[7] = "August";
g_MonthNames[8] = "September";
g_MonthNames[9] = "October";
g_MonthNames[10] = "November";
g_MonthNames[11] = "December";

function GetWeekDayName(n, Short)
{
   var name
   if (Short)
      name = String(g_WeekDayNames[n]).substr(0, 3)
   else
      name = g_WeekDayNames[n];
   return name
}

function GetMonthName(n, Short)
{
   var name
   if (Short)
      name = String(g_MonthNames[n]).substr(0, 3)
   else
      name = g_MonthNames[n];
   return name
}

function GetYear(y)
{
   if (y < 1900)
      return y + 1900
   else
      return y
}

function TwoDigits(n)
{
   n = String(n)
   if (n.length == 1)
      n = "0" + n
   return n
}

function FormatShortDate(Date8601)
{
   // 0123456789
   // 2008-05-24
   Date8601 = String(Date8601)
   var year = Number(Date8601.substr(0, 4))
   var month = Number(Date8601.substr(5, 2)) - 1 // 0 - 11
   var day = Number(Date8601.substr(8, 2)) // 1 - 31
   var TheDate = new Date(year, month, day)
   var DateStr = GetWeekDayName(TheDate.getDay(), true)
      + ", " + TwoDigits(TheDate.getDate())
      + " " + GetMonthName(TheDate.getMonth(), true)
      + " " + GetYear(TheDate.getYear())
   return DateStr
}

function ToDate(DateTimeString)
{
   // 0         1         2
   // 012345678901234567890
   // 2008-05-24 13:36:42
   DateTimeString = String(DateTimeString)
   if (DateTimeString.length >= 10)
   {
      var year = Number(DateTimeString.substr(0, 4))
      var month = Number(DateTimeString.substr(5, 2)) - 1 // 0 - 11
      var day = Number(DateTimeString.substr(8, 2)) // 1 - 31
      if (DateTimeString.length == 19)
      {
         var hour = Number(DateTimeString.substr(11, 2))
         var minute = Number(DateTimeString.substr(14, 2))
         var second = Number(DateTimeString.substr(17, 2))
         return new Date(year, month, day, hour, minute, second)
      }
      else
         return new Date(year, month, day)
   }
   else
      return new Date()
}

function To8601String(DateObject)
{
   return String(GetYear(DateObject.getYear()))
      + "-"
      + TwoDigits(DateObject.getMonth() + 1)
      + "-"
      + TwoDigits(DateObject.getDate())
}

function ToEnDateString(DateObject)
{
   return TwoDigits(DateObject.getDate())
      + "/"
      + TwoDigits(DateObject.getMonth() + 1)
      + "/"
      + String(GetYear(DateObject.getYear()))
}