private static string Js_toUTCString(double date)
{
StringBuilder result = new StringBuilder(60);
AppendWeekDayName(result, WeekDay(date));
result.Append(", ");
Append0PaddedUint(result, DateFromTime(date), 2);
result.Append(' ');
AppendMonthName(result, MonthFromTime(date));
result.Append(' ');
int year = YearFromTime(date);
if (year < 0)
{
result.Append('-');
year = -year;
}
Append0PaddedUint(result, year, 4);
result.Append(' ');
Append0PaddedUint(result, HourFromTime(date), 2);
result.Append(':');
Append0PaddedUint(result, MinFromTime(date), 2);
result.Append(':');
Append0PaddedUint(result, SecFromTime(date), 2);
result.Append(" GMT");
return result.ToString();
}