Fixed https://bugs.ecmascript.org/show_bug.cgi?id=293. ConstructDate cannot be

salvaged (e.g., need locale info to properly predict whether we're subject to
DST).

6 files changed, 216 insertions, 216 deletions

diff --git a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T1.js b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T1.js
index d48d42aca..6aafec22c 100644
--- a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T1.js
+++ b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T1.js
@@ -19,53 +19,53 @@
 $INCLUDE("environment.js");
 $INCLUDE("numeric_conversion.js");
 $INCLUDE("Date_constants.js");
-$INCLUDE("Date_library.js");
-
-if (ConstructDate(1899, 11) !== new Date(1899, 11).valueOf()) {
+$INCLUDE("Date_library.js");

+

+if (-2211638400000 !== new Date(1899, 11).valueOf()) {
   $FAIL("#1: Incorrect value of Date");
-}
-
-if (ConstructDate(1899, 12) !== new Date(1899, 12).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1899, 12).valueOf()) {
   $FAIL("#2: Incorrect value of Date");
-}
-
-if (ConstructDate(1900, 0) !== new Date(1900, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1900, 0).valueOf()) {
   $FAIL("#3: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 11) !== new Date(1969, 11).valueOf()) {
+}

+

+if (-2649600000 !== new Date(1969, 11).valueOf()) {
   $FAIL("#4: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 12) !== new Date(1969, 12).valueOf()) {
+}

+

+if (28800000 !== new Date(1969, 12).valueOf()) {
   $FAIL("#5: Incorrect value of Date");
-}
-
-if (ConstructDate(1970, 0) !== new Date(1970, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1970, 0).valueOf()) {
   $FAIL("#6: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 11) !== new Date(1999, 11).valueOf()) {
+}

+

+if (944035200000 !== new Date(1999, 11).valueOf()) {
   $FAIL("#7: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 12) !== new Date(1999, 12).valueOf()) {
+}

+

+if (946713600000 !== new Date(1999, 12).valueOf()) {
   $FAIL("#8: Incorrect value of Date");
-}
-
-if (ConstructDate(2000, 0) !== new Date(2000, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(2000, 0).valueOf()) {
   $FAIL("#9: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 11) !== new Date(2099, 11).valueOf()) {
+}

+

+if (4099795200000 !== new Date(2099, 11).valueOf()) {
   $FAIL("#10: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 12) !== new Date(2099, 12).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2099, 12).valueOf()) {
   $FAIL("#11: Incorrect value of Date");
-}
-
-if (ConstructDate(2100, 0) !== new Date(2100, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2100, 0).valueOf()) {
   $FAIL("#12: Incorrect value of Date");
 }
 
diff --git a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T2.js b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T2.js
index 714f30797..34cf98bba 100644
--- a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T2.js
+++ b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T2.js
@@ -19,53 +19,53 @@
 $INCLUDE("environment.js");
 $INCLUDE("numeric_conversion.js");
 $INCLUDE("Date_constants.js");
-$INCLUDE("Date_library.js");
-
-if (ConstructDate(1899, 11, 31) !== new Date(1899, 11, 31).valueOf()) {
+$INCLUDE("Date_library.js");

+

+if (-2209046400000 !== new Date(1899, 11, 31).valueOf()) {
   $FAIL("#1: Incorrect value of Date");
-}
-
-if (ConstructDate(1899, 12, 1) !== new Date(1899, 12, 1).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1899, 12, 1).valueOf()) {
   $FAIL("#2: Incorrect value of Date");
-}
-
-if (ConstructDate(1900, 0, 1) !== new Date(1900, 0, 1).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1900, 0, 1).valueOf()) {
   $FAIL("#3: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 11, 31) !== new Date(1969, 11, 31).valueOf()) {
+}

+

+if (-57600000 !== new Date(1969, 11, 31).valueOf()) {
   $FAIL("#4: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 12, 1) !== new Date(1969, 12, 1).valueOf()) {
+}

+

+if (28800000 !== new Date(1969, 12, 1).valueOf()) {
   $FAIL("#5: Incorrect value of Date");
-}
-
-if (ConstructDate(1970, 0, 1) !== new Date(1970, 0, 1).valueOf()) {
+}

+

+if (28800000 !== new Date(1970, 0, 1).valueOf()) {
   $FAIL("#6: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 11, 31) !== new Date(1999, 11, 31).valueOf()) {
+}

+

+if (946627200000 !== new Date(1999, 11, 31).valueOf()) {
   $FAIL("#7: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 12, 1) !== new Date(1999, 12, 1).valueOf()) {
+}

+

+if (946713600000 !== new Date(1999, 12, 1).valueOf()) {
   $FAIL("#8: Incorrect value of Date");
-}
-
-if (ConstructDate(2000, 0, 1) !== new Date(2000, 0, 1).valueOf()) {
+}

+

+if (946713600000 !== new Date(2000, 0, 1).valueOf()) {
   $FAIL("#9: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 11, 31) !== new Date(2099, 11, 31).valueOf()) {
+}

+

+if (4102387200000 !== new Date(2099, 11, 31).valueOf()) {
   $FAIL("#10: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 12, 1) !== new Date(2099, 12, 1).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2099, 12, 1).valueOf()) {
   $FAIL("#11: Incorrect value of Date");
-}
-
-if (ConstructDate(2100, 0, 1) !== new Date(2100, 0, 1).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2100, 0, 1).valueOf()) {
   $FAIL("#12: Incorrect value of Date");
 }
 
diff --git a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T3.js b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T3.js
index 540b3582c..fdb6387b4 100644
--- a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T3.js
+++ b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T3.js
@@ -19,53 +19,53 @@
 $INCLUDE("environment.js");
 $INCLUDE("numeric_conversion.js");
 $INCLUDE("Date_constants.js");
-$INCLUDE("Date_library.js");
-
-if (ConstructDate(1899, 11, 31, 23) !== new Date(1899, 11, 31, 23).valueOf()) {
+$INCLUDE("Date_library.js");

+

+if (-2208963600000 !== new Date(1899, 11, 31, 23).valueOf()) {
   $FAIL("#1: Incorrect value of Date");
-}
-
-if (ConstructDate(1899, 12, 1, 0) !== new Date(1899, 12, 1, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1899, 12, 1, 0).valueOf()) {
   $FAIL("#2: Incorrect value of Date");
-}
-
-if (ConstructDate(1900, 0, 1, 0) !== new Date(1900, 0, 1, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1900, 0, 1, 0).valueOf()) {
   $FAIL("#3: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 11, 31, 23) !== new Date(1969, 11, 31, 23).valueOf()) {
+}

+

+if (25200000 !== new Date(1969, 11, 31, 23).valueOf()) {
   $FAIL("#4: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 12, 1, 0) !== new Date(1969, 12, 1, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1969, 12, 1, 0).valueOf()) {
   $FAIL("#5: Incorrect value of Date");
-}
-
-if (ConstructDate(1970, 0, 1, 0) !== new Date(1970, 0, 1, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1970, 0, 1, 0).valueOf()) {
   $FAIL("#6: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 11, 31, 23) !== new Date(1999, 11, 31, 23).valueOf()) {
+}

+

+if (946710000000 !== new Date(1999, 11, 31, 23).valueOf()) {
   $FAIL("#7: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 12, 1, 0) !== new Date(1999, 12, 1, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(1999, 12, 1, 0).valueOf()) {
   $FAIL("#8: Incorrect value of Date");
-}
-
-if (ConstructDate(2000, 0, 1, 0) !== new Date(2000, 0, 1, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(2000, 0, 1, 0).valueOf()) {
   $FAIL("#9: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 11, 31, 23) !== new Date(2099, 11, 31, 23).valueOf()) {
+}

+

+if (4102470000000 !== new Date(2099, 11, 31, 23).valueOf()) {
   $FAIL("#10: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 12, 1, 0) !== new Date(2099, 12, 1, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2099, 12, 1, 0).valueOf()) {
   $FAIL("#11: Incorrect value of Date");
-}
-
-if (ConstructDate(2100, 0, 1, 0) !== new Date(2100, 0, 1, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2100, 0, 1, 0).valueOf()) {
   $FAIL("#12: Incorrect value of Date");
 }
 
diff --git a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T4.js b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T4.js
index 330512499..296ec5d8a 100644
--- a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T4.js
+++ b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T4.js
@@ -19,53 +19,53 @@
 $INCLUDE("environment.js");
 $INCLUDE("numeric_conversion.js");
 $INCLUDE("Date_constants.js");
-$INCLUDE("Date_library.js");
-
-if (ConstructDate(1899, 11, 31, 23, 59) !== new Date(1899, 11, 31, 23, 59).valueOf()) {
+$INCLUDE("Date_library.js");

+

+if (-2208960060000 !== new Date(1899, 11, 31, 23, 59).valueOf()) {
   $FAIL("#1: Incorrect value of Date");
-}
-
-if (ConstructDate(1899, 12, 1, 0, 0) !== new Date(1899, 12, 1, 0, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1899, 12, 1, 0, 0).valueOf()) {
   $FAIL("#2: Incorrect value of Date");
-}
-
-if (ConstructDate(1900, 0, 1, 0, 0) !== new Date(1900, 0, 1, 0, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1900, 0, 1, 0, 0).valueOf()) {
   $FAIL("#3: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 11, 31, 23, 59) !== new Date(1969, 11, 31, 23, 59).valueOf()) {
+}

+

+if (28740000 !== new Date(1969, 11, 31, 23, 59).valueOf()) {
   $FAIL("#4: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 12, 1, 0, 0) !== new Date(1969, 12, 1, 0, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1969, 12, 1, 0, 0).valueOf()) {
   $FAIL("#5: Incorrect value of Date");
-}
-
-if (ConstructDate(1970, 0, 1, 0, 0) !== new Date(1970, 0, 1, 0, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1970, 0, 1, 0, 0).valueOf()) {
   $FAIL("#6: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 11, 31, 23, 59) !== new Date(1999, 11, 31, 23, 59).valueOf()) {
+}

+

+if (946713540000 !== new Date(1999, 11, 31, 23, 59).valueOf()) {
   $FAIL("#7: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 12, 1, 0, 0) !== new Date(1999, 12, 1, 0, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(1999, 12, 1, 0, 0).valueOf()) {
   $FAIL("#8: Incorrect value of Date");
-}
-
-if (ConstructDate(2000, 0, 1, 0, 0) !== new Date(2000, 0, 1, 0, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(2000, 0, 1, 0, 0).valueOf()) {
   $FAIL("#9: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 11, 31, 23, 59) !== new Date(2099, 11, 31, 23, 59).valueOf()) {
+}

+

+if (4102473540000 !== new Date(2099, 11, 31, 23, 59).valueOf()) {
   $FAIL("#10: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 12, 1, 0, 0) !== new Date(2099, 12, 1, 0, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2099, 12, 1, 0, 0).valueOf()) {
   $FAIL("#11: Incorrect value of Date");
-}
-
-if (ConstructDate(2100, 0, 1, 0, 0) !== new Date(2100, 0, 1, 0, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2100, 0, 1, 0, 0).valueOf()) {
   $FAIL("#12: Incorrect value of Date");
 }
 
diff --git a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T5.js b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T5.js
index dac5d1c1f..b6f579459 100644
--- a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T5.js
+++ b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T5.js
@@ -19,53 +19,53 @@
 $INCLUDE("environment.js");
 $INCLUDE("numeric_conversion.js");
 $INCLUDE("Date_constants.js");
-$INCLUDE("Date_library.js");
-
-if (ConstructDate(1899, 11, 31, 23, 59, 59) !== new Date(1899, 11, 31, 23, 59, 59).valueOf()) {
+$INCLUDE("Date_library.js");

+

+if (-2208960001000 !== new Date(1899, 11, 31, 23, 59, 59).valueOf()) {
   $FAIL("#1: Incorrect value of Date");
-}
-
-if (ConstructDate(1899, 12, 1, 0, 0, 0) !== new Date(1899, 12, 1, 0, 0, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1899, 12, 1, 0, 0, 0).valueOf()) {
   $FAIL("#2: Incorrect value of Date");
-}
-
-if (ConstructDate(1900, 0, 1, 0, 0, 0) !== new Date(1900, 0, 1, 0, 0, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1900, 0, 1, 0, 0, 0).valueOf()) {
   $FAIL("#3: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 11, 31, 23, 59, 59) !== new Date(1969, 11, 31, 23, 59, 59).valueOf()) {
+}

+

+if (28799000 !== new Date(1969, 11, 31, 23, 59, 59).valueOf()) {
   $FAIL("#4: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 12, 1, 0, 0, 0) !== new Date(1969, 12, 1, 0, 0, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1969, 12, 1, 0, 0, 0).valueOf()) {
   $FAIL("#5: Incorrect value of Date");
-}
-
-if (ConstructDate(1970, 0, 1, 0, 0, 0) !== new Date(1970, 0, 1, 0, 0, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1970, 0, 1, 0, 0, 0).valueOf()) {
   $FAIL("#6: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 11, 31, 23, 59, 59) !== new Date(1999, 11, 31, 23, 59, 59).valueOf()) {
+}

+

+if (946713599000 !== new Date(1999, 11, 31, 23, 59, 59).valueOf()) {
   $FAIL("#7: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 12, 1, 0, 0, 0) !== new Date(1999, 12, 1, 0, 0, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(1999, 12, 1, 0, 0, 0).valueOf()) {
   $FAIL("#8: Incorrect value of Date");
-}
-
-if (ConstructDate(2000, 0, 1, 0, 0, 0) !== new Date(2000, 0, 1, 0, 0, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(2000, 0, 1, 0, 0, 0).valueOf()) {
   $FAIL("#9: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 11, 31, 23, 59, 59) !== new Date(2099, 11, 31, 23, 59, 59).valueOf()) {
+}

+

+if (4102473599000 !== new Date(2099, 11, 31, 23, 59, 59).valueOf()) {
   $FAIL("#10: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 12, 1, 0, 0, 0) !== new Date(2099, 12, 1, 0, 0, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2099, 12, 1, 0, 0, 0).valueOf()) {
   $FAIL("#11: Incorrect value of Date");
-}
-
-if (ConstructDate(2100, 0, 1, 0, 0, 0) !== new Date(2100, 0, 1, 0, 0, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2100, 0, 1, 0, 0, 0).valueOf()) {
   $FAIL("#12: Incorrect value of Date");
 }
 
diff --git a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T6.js b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T6.js
index 86a4ac229..adfb0465c 100644
--- a/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T6.js
+++ b/test/suite/ch15/15.9/15.9.3/S15.9.3.1_A5_T6.js
@@ -19,53 +19,53 @@
 $INCLUDE("environment.js");
 $INCLUDE("numeric_conversion.js");
 $INCLUDE("Date_constants.js");
-$INCLUDE("Date_library.js");
-
-if (ConstructDate(1899, 11, 31, 23, 59, 59, 999) !== new Date(1899, 11, 31, 23, 59, 59, 999).valueOf()) {
+$INCLUDE("Date_library.js");

+

+if (-2208960000001 !== new Date(1899, 11, 31, 23, 59, 59, 999).valueOf()) {
   $FAIL("#1: Incorrect value of Date");
-}
-
-if (ConstructDate(1899, 12, 1, 0, 0, 0, 0) !== new Date(1899, 12, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1899, 12, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#2: Incorrect value of Date");
-}
-
-if (ConstructDate(1900, 0, 1, 0, 0, 0, 0) !== new Date(1900, 0, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (-2208960000000 !== new Date(1900, 0, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#3: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 11, 31, 23, 59, 59, 999) !== new Date(1969, 11, 31, 23, 59, 59, 999).valueOf()) {
+}

+

+if (28799999 !== new Date(1969, 11, 31, 23, 59, 59, 999).valueOf()) {
   $FAIL("#4: Incorrect value of Date");
-}
-
-if (ConstructDate(1969, 12, 1, 0, 0, 0, 0) !== new Date(1969, 12, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1969, 12, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#5: Incorrect value of Date");
-}
-
-if (ConstructDate(1970, 0, 1, 0, 0, 0, 0) !== new Date(1970, 0, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (28800000 !== new Date(1970, 0, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#6: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 11, 31, 23, 59, 59, 999) !== new Date(1999, 11, 31, 23, 59, 59, 999).valueOf()) {
+}

+

+if (946713599999 !== new Date(1999, 11, 31, 23, 59, 59, 999).valueOf()) {
   $FAIL("#7: Incorrect value of Date");
-}
-
-if (ConstructDate(1999, 12, 1, 0, 0, 0, 0) !== new Date(1999, 12, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(1999, 12, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#8: Incorrect value of Date");
-}
-
-if (ConstructDate(2000, 0, 1, 0, 0, 0, 0) !== new Date(2000, 0, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (946713600000 !== new Date(2000, 0, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#9: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 11, 31, 23, 59, 59, 999) !== new Date(2099, 11, 31, 23, 59, 59, 999).valueOf()) {
+}

+

+if (4102473599999 !== new Date(2099, 11, 31, 23, 59, 59, 999).valueOf()) {
   $FAIL("#10: Incorrect value of Date");
-}
-
-if (ConstructDate(2099, 12, 1, 0, 0, 0, 0) !== new Date(2099, 12, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2099, 12, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#11: Incorrect value of Date");
-}
-
-if (ConstructDate(2100, 0, 1, 0, 0, 0, 0) !== new Date(2100, 0, 1, 0, 0, 0, 0).valueOf()) {
+}

+

+if (4102473600000 !== new Date(2100, 0, 1, 0, 0, 0, 0).valueOf()) {
   $FAIL("#12: Incorrect value of Date");
 }