--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mupdf-source/thirdparty/mujs/jsdate.c	Mon Sep 15 11:43:07 2025 +0200
@@ -0,0 +1,861 @@
+#include "jsi.h"
+
+#include <time.h>
+
+#if defined(__unix__) || defined(__APPLE__)
+#include <sys/time.h>
+#elif defined(_WIN32)
+#include <sys/timeb.h>
+#endif
+
+#define js_optnumber(J,I,V) (js_isdefined(J,I) ? js_tonumber(J,I) : V)
+
+static double Now(void)
+{
+#if defined(__unix__) || defined(__APPLE__)
+	struct timeval tv;
+	gettimeofday(&tv, NULL);
+	return floor(tv.tv_sec * 1000.0 + tv.tv_usec / 1000.0);
+#elif defined(_WIN32)
+	struct _timeb tv;
+	_ftime(&tv);
+	return tv.time * 1000.0 + tv.millitm;
+#else
+	return time(NULL) * 1000.0;
+#endif
+}
+
+static double LocalTZA(void)
+{
+	static int once = 1;
+	static double tza = 0;
+	if (once) {
+		time_t now = time(NULL);
+		time_t utc = mktime(gmtime(&now));
+		time_t loc = mktime(localtime(&now));
+		tza = (loc - utc) * 1000;
+		once = 0;
+	}
+	return tza;
+}
+
+static double DaylightSavingTA(double t)
+{
+	return 0; /* TODO */
+}
+
+/* Helpers from the ECMA 262 specification */
+
+#define HoursPerDay		24.0
+#define MinutesPerDay		(HoursPerDay * MinutesPerHour)
+#define MinutesPerHour		60.0
+#define SecondsPerDay		(MinutesPerDay * SecondsPerMinute)
+#define SecondsPerHour		(MinutesPerHour * SecondsPerMinute)
+#define SecondsPerMinute	60.0
+
+#define msPerDay	(SecondsPerDay * msPerSecond)
+#define msPerHour	(SecondsPerHour * msPerSecond)
+#define msPerMinute	(SecondsPerMinute * msPerSecond)
+#define msPerSecond	1000.0
+
+static double pmod(double x, double y)
+{
+	x = fmod(x, y);
+	if (x < 0)
+		x += y;
+	return x;
+}
+
+static int Day(double t)
+{
+	return floor(t / msPerDay);
+}
+
+static double TimeWithinDay(double t)
+{
+	return pmod(t, msPerDay);
+}
+
+static int DaysInYear(int y)
+{
+	return y % 4 == 0 && (y % 100 || (y % 400 == 0)) ? 366 : 365;
+}
+
+static int DayFromYear(int y)
+{
+	return 365 * (y - 1970) +
+		floor((y - 1969) / 4.0) -
+		floor((y - 1901) / 100.0) +
+		floor((y - 1601) / 400.0);
+}
+
+static double TimeFromYear(int y)
+{
+	return DayFromYear(y) * msPerDay;
+}
+
+static int YearFromTime(double t)
+{
+	int y = floor(t / (msPerDay * 365.2425)) + 1970;
+	double t2 = TimeFromYear(y);
+	if (t2 > t)
+		--y;
+	else if (t2 + msPerDay * DaysInYear(y) <= t)
+		++y;
+	return y;
+}
+
+static int InLeapYear(double t)
+{
+	return DaysInYear(YearFromTime(t)) == 366;
+}
+
+static int DayWithinYear(double t)
+{
+	return Day(t) - DayFromYear(YearFromTime(t));
+}
+
+static int MonthFromTime(double t)
+{
+	int day = DayWithinYear(t);
+	int leap = InLeapYear(t);
+	if (day < 31) return 0;
+	if (day < 59 + leap) return 1;
+	if (day < 90 + leap) return 2;
+	if (day < 120 + leap) return 3;
+	if (day < 151 + leap) return 4;
+	if (day < 181 + leap) return 5;
+	if (day < 212 + leap) return 6;
+	if (day < 243 + leap) return 7;
+	if (day < 273 + leap) return 8;
+	if (day < 304 + leap) return 9;
+	if (day < 334 + leap) return 10;
+	return 11;
+}
+
+static int DateFromTime(double t)
+{
+	int day = DayWithinYear(t);
+	int leap = InLeapYear(t);
+	switch (MonthFromTime(t)) {
+	case 0: return day + 1;
+	case 1: return day - 30;
+	case 2: return day - 58 - leap;
+	case 3: return day - 89 - leap;
+	case 4: return day - 119 - leap;
+	case 5: return day - 150 - leap;
+	case 6: return day - 180 - leap;
+	case 7: return day - 211 - leap;
+	case 8: return day - 242 - leap;
+	case 9: return day - 272 - leap;
+	case 10: return day - 303 - leap;
+	default : return day - 333 - leap;
+	}
+}
+
+static int WeekDay(double t)
+{
+	return pmod(Day(t) + 4, 7);
+}
+
+static double LocalTime(double utc)
+{
+	return utc + LocalTZA() + DaylightSavingTA(utc);
+}
+
+static double UTC(double loc)
+{
+	return loc - LocalTZA() - DaylightSavingTA(loc - LocalTZA());
+}
+
+static int HourFromTime(double t)
+{
+	return pmod(floor(t / msPerHour), HoursPerDay);
+}
+
+static int MinFromTime(double t)
+{
+	return pmod(floor(t / msPerMinute), MinutesPerHour);
+}
+
+static int SecFromTime(double t)
+{
+	return pmod(floor(t / msPerSecond), SecondsPerMinute);
+}
+
+static int msFromTime(double t)
+{
+	return pmod(t, msPerSecond);
+}
+
+static double MakeTime(double hour, double min, double sec, double ms)
+{
+	return ((hour * MinutesPerHour + min) * SecondsPerMinute + sec) * msPerSecond + ms;
+}
+
+static double MakeDay(double y, double m, double date)
+{
+	/*
+	 * The following array contains the day of year for the first day of
+	 * each month, where index 0 is January, and day 0 is January 1.
+	 */
+	static const double firstDayOfMonth[2][12] = {
+		{0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334},
+		{0, 31, 60, 91, 121, 152, 182, 213, 244, 274, 305, 335}
+	};
+
+	double yd, md;
+	int im;
+
+	y += floor(m / 12);
+	m = pmod(m, 12);
+
+	im = (int)m;
+	if (im < 0 || im >= 12)
+		return NAN;
+
+	yd = floor(TimeFromYear(y) / msPerDay);
+	md = firstDayOfMonth[DaysInYear(y) == 366][im];
+
+	return yd + md + date - 1;
+}
+
+static double MakeDate(double day, double time)
+{
+	return day * msPerDay + time;
+}
+
+static double TimeClip(double t)
+{
+	if (!isfinite(t))
+		return NAN;
+	if (fabs(t) > 8.64e15)
+		return NAN;
+	return t < 0 ? -floor(-t) : floor(t);
+}
+
+static int toint(const char **sp, int w, int *v)
+{
+	const char *s = *sp;
+	*v = 0;
+	while (w--) {
+		if (*s < '0' || *s > '9')
+			return 0;
+		*v = *v * 10 + (*s++ - '0');
+	}
+	*sp = s;
+	return 1;
+}
+
+static double parseDateTime(const char *s)
+{
+	int y = 1970, m = 1, d = 1, H = 0, M = 0, S = 0, ms = 0;
+	int tza = 0;
+	double t;
+
+	/* Parse ISO 8601 formatted date and time: */
+	/* YYYY("-"MM("-"DD)?)?("T"HH":"mm(":"ss("."sss)?)?("Z"|[+-]HH(":"mm)?)?)? */
+
+	if (!toint(&s, 4, &y)) return NAN;
+	if (*s == '-') {
+		s += 1;
+		if (!toint(&s, 2, &m)) return NAN;
+		if (*s == '-') {
+			s += 1;
+			if (!toint(&s, 2, &d)) return NAN;
+		}
+	}
+
+	if (*s == 'T') {
+		s += 1;
+		if (!toint(&s, 2, &H)) return NAN;
+		if (*s != ':') return NAN;
+		s += 1;
+		if (!toint(&s, 2, &M)) return NAN;
+		if (*s == ':') {
+			s += 1;
+			if (!toint(&s, 2, &S)) return NAN;
+			if (*s == '.') {
+				s += 1;
+				if (!toint(&s, 3, &ms)) return NAN;
+			}
+		}
+		if (*s == 'Z') {
+			s += 1;
+			tza = 0;
+		} else if (*s == '+' || *s == '-') {
+			int tzh = 0, tzm = 0;
+			int tzs = *s == '+' ? 1 : -1;
+			s += 1;
+			if (!toint(&s, 2, &tzh)) return NAN;
+			if (*s == ':') {
+				s += 1;
+				if (!toint(&s, 2, &tzm)) return NAN;
+			}
+			if (tzh > 23 || tzm > 59) return NAN;
+			tza = tzs * (tzh * msPerHour + tzm * msPerMinute);
+		} else {
+			tza = LocalTZA();
+		}
+	}
+
+	if (*s) return NAN;
+
+	if (m < 1 || m > 12) return NAN;
+	if (d < 1 || d > 31) return NAN;
+	if (H < 0 || H > 24) return NAN;
+	if (M < 0 || M > 59) return NAN;
+	if (S < 0 || S > 59) return NAN;
+	if (ms < 0 || ms > 999) return NAN;
+	if (H == 24 && (M != 0 || S != 0 || ms != 0)) return NAN;
+
+	/* TODO: DaylightSavingTA on local times */
+	t = MakeDate(MakeDay(y, m-1, d), MakeTime(H, M, S, ms));
+	return t - tza;
+}
+
+/* date formatting */
+
+static char *fmtdate(char *buf, double t)
+{
+	int y = YearFromTime(t);
+	int m = MonthFromTime(t);
+	int d = DateFromTime(t);
+	if (!isfinite(t))
+		return "Invalid Date";
+	sprintf(buf, "%04d-%02d-%02d", y, m+1, d);
+	return buf;
+}
+
+static char *fmttime(char *buf, double t, double tza)
+{
+	int H = HourFromTime(t);
+	int M = MinFromTime(t);
+	int S = SecFromTime(t);
+	int ms = msFromTime(t);
+	int tzh = HourFromTime(fabs(tza));
+	int tzm = MinFromTime(fabs(tza));
+	if (!isfinite(t))
+		return "Invalid Date";
+	if (tza == 0)
+		sprintf(buf, "%02d:%02d:%02d.%03dZ", H, M, S, ms);
+	else if (tza < 0)
+		sprintf(buf, "%02d:%02d:%02d.%03d-%02d:%02d", H, M, S, ms, tzh, tzm);
+	else
+		sprintf(buf, "%02d:%02d:%02d.%03d+%02d:%02d", H, M, S, ms, tzh, tzm);
+	return buf;
+}
+
+static char *fmtdatetime(char *buf, double t, double tza)
+{
+	char dbuf[20], tbuf[20];
+	if (!isfinite(t))
+		return "Invalid Date";
+	fmtdate(dbuf, t);
+	fmttime(tbuf, t, tza);
+	sprintf(buf, "%sT%s", dbuf, tbuf);
+	return buf;
+}
+
+/* Date functions */
+
+static double js_todate(js_State *J, int idx)
+{
+	js_Object *self = js_toobject(J, idx);
+	if (self->type != JS_CDATE)
+		js_typeerror(J, "not a date");
+	return self->u.number;
+}
+
+static void js_setdate(js_State *J, int idx, double t)
+{
+	js_Object *self = js_toobject(J, idx);
+	if (self->type != JS_CDATE)
+		js_typeerror(J, "not a date");
+	self->u.number = TimeClip(t);
+	js_pushnumber(J, self->u.number);
+}
+
+static void D_parse(js_State *J)
+{
+	double t = parseDateTime(js_tostring(J, 1));
+	js_pushnumber(J, t);
+}
+
+static void D_UTC(js_State *J)
+{
+	double y, m, d, H, M, S, ms, t;
+	y = js_tonumber(J, 1);
+	if (y < 100) y += 1900;
+	m = js_tonumber(J, 2);
+	d = js_optnumber(J, 3, 1);
+	H = js_optnumber(J, 4, 0);
+	M = js_optnumber(J, 5, 0);
+	S = js_optnumber(J, 6, 0);
+	ms = js_optnumber(J, 7, 0);
+	t = MakeDate(MakeDay(y, m, d), MakeTime(H, M, S, ms));
+	t = TimeClip(t);
+	js_pushnumber(J, t);
+}
+
+static void D_now(js_State *J)
+{
+	js_pushnumber(J, Now());
+}
+
+static void jsB_Date(js_State *J)
+{
+	char buf[64];
+	js_pushstring(J, fmtdatetime(buf, LocalTime(Now()), LocalTZA()));
+}
+
+static void jsB_new_Date(js_State *J)
+{
+	int top = js_gettop(J);
+	js_Object *obj;
+	double t;
+
+	if (top == 1)
+		t = Now();
+	else if (top == 2) {
+		js_toprimitive(J, 1, JS_HNONE);
+		if (js_isstring(J, 1))
+			t = parseDateTime(js_tostring(J, 1));
+		else
+			t = TimeClip(js_tonumber(J, 1));
+	} else {
+		double y, m, d, H, M, S, ms;
+		y = js_tonumber(J, 1);
+		if (y < 100) y += 1900;
+		m = js_tonumber(J, 2);
+		d = js_optnumber(J, 3, 1);
+		H = js_optnumber(J, 4, 0);
+		M = js_optnumber(J, 5, 0);
+		S = js_optnumber(J, 6, 0);
+		ms = js_optnumber(J, 7, 0);
+		t = MakeDate(MakeDay(y, m, d), MakeTime(H, M, S, ms));
+		t = TimeClip(UTC(t));
+	}
+
+	obj = jsV_newobject(J, JS_CDATE, J->Date_prototype);
+	obj->u.number = t;
+
+	js_pushobject(J, obj);
+}
+
+static void Dp_valueOf(js_State *J)
+{
+	double t = js_todate(J, 0);
+	js_pushnumber(J, t);
+}
+
+static void Dp_toString(js_State *J)
+{
+	char buf[64];
+	double t = js_todate(J, 0);
+	js_pushstring(J, fmtdatetime(buf, LocalTime(t), LocalTZA()));
+}
+
+static void Dp_toDateString(js_State *J)
+{
+	char buf[64];
+	double t = js_todate(J, 0);
+	js_pushstring(J, fmtdate(buf, LocalTime(t)));
+}
+
+static void Dp_toTimeString(js_State *J)
+{
+	char buf[64];
+	double t = js_todate(J, 0);
+	js_pushstring(J, fmttime(buf, LocalTime(t), LocalTZA()));
+}
+
+static void Dp_toUTCString(js_State *J)
+{
+	char buf[64];
+	double t = js_todate(J, 0);
+	js_pushstring(J, fmtdatetime(buf, t, 0));
+}
+
+static void Dp_toISOString(js_State *J)
+{
+	char buf[64];
+	double t = js_todate(J, 0);
+	if (!isfinite(t))
+		js_rangeerror(J, "invalid date");
+	js_pushstring(J, fmtdatetime(buf, t, 0));
+}
+
+static void Dp_getFullYear(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, YearFromTime(LocalTime(t)));
+}
+
+static void Dp_getMonth(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, MonthFromTime(LocalTime(t)));
+}
+
+static void Dp_getDate(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, DateFromTime(LocalTime(t)));
+}
+
+static void Dp_getDay(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, WeekDay(LocalTime(t)));
+}
+
+static void Dp_getHours(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, HourFromTime(LocalTime(t)));
+}
+
+static void Dp_getMinutes(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, MinFromTime(LocalTime(t)));
+}
+
+static void Dp_getSeconds(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, SecFromTime(LocalTime(t)));
+}
+
+static void Dp_getMilliseconds(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, msFromTime(LocalTime(t)));
+}
+
+static void Dp_getUTCFullYear(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, YearFromTime(t));
+}
+
+static void Dp_getUTCMonth(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, MonthFromTime(t));
+}
+
+static void Dp_getUTCDate(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, DateFromTime(t));
+}
+
+static void Dp_getUTCDay(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, WeekDay(t));
+}
+
+static void Dp_getUTCHours(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, HourFromTime(t));
+}
+
+static void Dp_getUTCMinutes(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, MinFromTime(t));
+}
+
+static void Dp_getUTCSeconds(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, SecFromTime(t));
+}
+
+static void Dp_getUTCMilliseconds(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, msFromTime(t));
+}
+
+static void Dp_getTimezoneOffset(js_State *J)
+{
+	double t = js_todate(J, 0);
+	if (isnan(t))
+		js_pushnumber(J, NAN);
+	else
+		js_pushnumber(J, (t - LocalTime(t)) / msPerMinute);
+}
+
+static void Dp_setTime(js_State *J)
+{
+	js_setdate(J, 0, js_tonumber(J, 1));
+}
+
+static void Dp_setMilliseconds(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double h = HourFromTime(t);
+	double m = MinFromTime(t);
+	double s = SecFromTime(t);
+	double ms = js_tonumber(J, 1);
+	js_setdate(J, 0, UTC(MakeDate(Day(t), MakeTime(h, m, s, ms))));
+}
+
+static void Dp_setSeconds(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double h = HourFromTime(t);
+	double m = MinFromTime(t);
+	double s = js_tonumber(J, 1);
+	double ms = js_optnumber(J, 2, msFromTime(t));
+	js_setdate(J, 0, UTC(MakeDate(Day(t), MakeTime(h, m, s, ms))));
+}
+
+static void Dp_setMinutes(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double h = HourFromTime(t);
+	double m = js_tonumber(J, 1);
+	double s = js_optnumber(J, 2, SecFromTime(t));
+	double ms = js_optnumber(J, 3, msFromTime(t));
+	js_setdate(J, 0, UTC(MakeDate(Day(t), MakeTime(h, m, s, ms))));
+}
+
+static void Dp_setHours(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double h = js_tonumber(J, 1);
+	double m = js_optnumber(J, 2, MinFromTime(t));
+	double s = js_optnumber(J, 3, SecFromTime(t));
+	double ms = js_optnumber(J, 4, msFromTime(t));
+	js_setdate(J, 0, UTC(MakeDate(Day(t), MakeTime(h, m, s, ms))));
+}
+
+static void Dp_setDate(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double y = YearFromTime(t);
+	double m = MonthFromTime(t);
+	double d = js_tonumber(J, 1);
+	js_setdate(J, 0, UTC(MakeDate(MakeDay(y, m, d), TimeWithinDay(t))));
+}
+
+static void Dp_setMonth(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double y = YearFromTime(t);
+	double m = js_tonumber(J, 1);
+	double d = js_optnumber(J, 2, DateFromTime(t));
+	js_setdate(J, 0, UTC(MakeDate(MakeDay(y, m, d), TimeWithinDay(t))));
+}
+
+static void Dp_setFullYear(js_State *J)
+{
+	double t = LocalTime(js_todate(J, 0));
+	double y = js_tonumber(J, 1);
+	double m = js_optnumber(J, 2, MonthFromTime(t));
+	double d = js_optnumber(J, 3, DateFromTime(t));
+	js_setdate(J, 0, UTC(MakeDate(MakeDay(y, m, d), TimeWithinDay(t))));
+}
+
+static void Dp_setUTCMilliseconds(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double h = HourFromTime(t);
+	double m = MinFromTime(t);
+	double s = SecFromTime(t);
+	double ms = js_tonumber(J, 1);
+	js_setdate(J, 0, MakeDate(Day(t), MakeTime(h, m, s, ms)));
+}
+
+static void Dp_setUTCSeconds(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double h = HourFromTime(t);
+	double m = MinFromTime(t);
+	double s = js_tonumber(J, 1);
+	double ms = js_optnumber(J, 2, msFromTime(t));
+	js_setdate(J, 0, MakeDate(Day(t), MakeTime(h, m, s, ms)));
+}
+
+static void Dp_setUTCMinutes(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double h = HourFromTime(t);
+	double m = js_tonumber(J, 1);
+	double s = js_optnumber(J, 2, SecFromTime(t));
+	double ms = js_optnumber(J, 3, msFromTime(t));
+	js_setdate(J, 0, MakeDate(Day(t), MakeTime(h, m, s, ms)));
+}
+
+static void Dp_setUTCHours(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double h = js_tonumber(J, 1);
+	double m = js_optnumber(J, 2, HourFromTime(t));
+	double s = js_optnumber(J, 3, SecFromTime(t));
+	double ms = js_optnumber(J, 4, msFromTime(t));
+	js_setdate(J, 0, MakeDate(Day(t), MakeTime(h, m, s, ms)));
+}
+
+static void Dp_setUTCDate(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double y = YearFromTime(t);
+	double m = MonthFromTime(t);
+	double d = js_tonumber(J, 1);
+	js_setdate(J, 0, MakeDate(MakeDay(y, m, d), TimeWithinDay(t)));
+}
+
+static void Dp_setUTCMonth(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double y = YearFromTime(t);
+	double m = js_tonumber(J, 1);
+	double d = js_optnumber(J, 2, DateFromTime(t));
+	js_setdate(J, 0, MakeDate(MakeDay(y, m, d), TimeWithinDay(t)));
+}
+
+static void Dp_setUTCFullYear(js_State *J)
+{
+	double t = js_todate(J, 0);
+	double y = js_tonumber(J, 1);
+	double m = js_optnumber(J, 2, MonthFromTime(t));
+	double d = js_optnumber(J, 3, DateFromTime(t));
+	js_setdate(J, 0, MakeDate(MakeDay(y, m, d), TimeWithinDay(t)));
+}
+
+static void Dp_toJSON(js_State *J)
+{
+	js_copy(J, 0);
+	js_toprimitive(J, -1, JS_HNUMBER);
+	if (js_isnumber(J, -1) && !isfinite(js_tonumber(J, -1))) {
+		js_pushnull(J);
+		return;
+	}
+	js_pop(J, 1);
+
+	js_getproperty(J, 0, "toISOString");
+	if (!js_iscallable(J, -1))
+		js_typeerror(J, "this.toISOString is not a function");
+	js_copy(J, 0);
+	js_call(J, 0);
+}
+
+void jsB_initdate(js_State *J)
+{
+	J->Date_prototype->u.number = 0;
+
+	js_pushobject(J, J->Date_prototype);
+	{
+		jsB_propf(J, "Date.prototype.valueOf", Dp_valueOf, 0);
+		jsB_propf(J, "Date.prototype.toString", Dp_toString, 0);
+		jsB_propf(J, "Date.prototype.toDateString", Dp_toDateString, 0);
+		jsB_propf(J, "Date.prototype.toTimeString", Dp_toTimeString, 0);
+		jsB_propf(J, "Date.prototype.toLocaleString", Dp_toString, 0);
+		jsB_propf(J, "Date.prototype.toLocaleDateString", Dp_toDateString, 0);
+		jsB_propf(J, "Date.prototype.toLocaleTimeString", Dp_toTimeString, 0);
+		jsB_propf(J, "Date.prototype.toUTCString", Dp_toUTCString, 0);
+
+		jsB_propf(J, "Date.prototype.getTime", Dp_valueOf, 0);
+		jsB_propf(J, "Date.prototype.getFullYear", Dp_getFullYear, 0);
+		jsB_propf(J, "Date.prototype.getUTCFullYear", Dp_getUTCFullYear, 0);
+		jsB_propf(J, "Date.prototype.getMonth", Dp_getMonth, 0);
+		jsB_propf(J, "Date.prototype.getUTCMonth", Dp_getUTCMonth, 0);
+		jsB_propf(J, "Date.prototype.getDate", Dp_getDate, 0);
+		jsB_propf(J, "Date.prototype.getUTCDate", Dp_getUTCDate, 0);
+		jsB_propf(J, "Date.prototype.getDay", Dp_getDay, 0);
+		jsB_propf(J, "Date.prototype.getUTCDay", Dp_getUTCDay, 0);
+		jsB_propf(J, "Date.prototype.getHours", Dp_getHours, 0);
+		jsB_propf(J, "Date.prototype.getUTCHours", Dp_getUTCHours, 0);
+		jsB_propf(J, "Date.prototype.getMinutes", Dp_getMinutes, 0);
+		jsB_propf(J, "Date.prototype.getUTCMinutes", Dp_getUTCMinutes, 0);
+		jsB_propf(J, "Date.prototype.getSeconds", Dp_getSeconds, 0);
+		jsB_propf(J, "Date.prototype.getUTCSeconds", Dp_getUTCSeconds, 0);
+		jsB_propf(J, "Date.prototype.getMilliseconds", Dp_getMilliseconds, 0);
+		jsB_propf(J, "Date.prototype.getUTCMilliseconds", Dp_getUTCMilliseconds, 0);
+		jsB_propf(J, "Date.prototype.getTimezoneOffset", Dp_getTimezoneOffset, 0);
+
+		jsB_propf(J, "Date.prototype.setTime", Dp_setTime, 1);
+		jsB_propf(J, "Date.prototype.setMilliseconds", Dp_setMilliseconds, 1);
+		jsB_propf(J, "Date.prototype.setUTCMilliseconds", Dp_setUTCMilliseconds, 1);
+		jsB_propf(J, "Date.prototype.setSeconds", Dp_setSeconds, 2);
+		jsB_propf(J, "Date.prototype.setUTCSeconds", Dp_setUTCSeconds, 2);
+		jsB_propf(J, "Date.prototype.setMinutes", Dp_setMinutes, 3);
+		jsB_propf(J, "Date.prototype.setUTCMinutes", Dp_setUTCMinutes, 3);
+		jsB_propf(J, "Date.prototype.setHours", Dp_setHours, 4);
+		jsB_propf(J, "Date.prototype.setUTCHours", Dp_setUTCHours, 4);
+		jsB_propf(J, "Date.prototype.setDate", Dp_setDate, 1);
+		jsB_propf(J, "Date.prototype.setUTCDate", Dp_setUTCDate, 1);
+		jsB_propf(J, "Date.prototype.setMonth", Dp_setMonth, 2);
+		jsB_propf(J, "Date.prototype.setUTCMonth", Dp_setUTCMonth, 2);
+		jsB_propf(J, "Date.prototype.setFullYear", Dp_setFullYear, 3);
+		jsB_propf(J, "Date.prototype.setUTCFullYear", Dp_setUTCFullYear, 3);
+
+		/* ES5 */
+		jsB_propf(J, "Date.prototype.toISOString", Dp_toISOString, 0);
+		jsB_propf(J, "Date.prototype.toJSON", Dp_toJSON, 1);
+	}
+	js_newcconstructor(J, jsB_Date, jsB_new_Date, "Date", 0); /* 1 */
+	{
+		jsB_propf(J, "Date.parse", D_parse, 1);
+		jsB_propf(J, "Date.UTC", D_UTC, 7);
+
+		/* ES5 */
+		jsB_propf(J, "Date.now", D_now, 0);
+	}
+	js_defglobal(J, "Date", JS_DONTENUM);
+}