internal static String UTCDateToString(double utcTime){
if (Double.IsNaN(utcTime)) return "NaN";
StringBuilder result = new StringBuilder();
result.Append(WeekDayName[WeekDay(utcTime)]);
result.Append(", ");
result.Append(DateFromTime(utcTime));
result.Append(" ");
result.Append(MonthName[MonthFromTime(utcTime)]);
result.Append(" ");
result.Append(YearString(utcTime));
result.Append(" ");
AppendTime(utcTime, result);
result.Append(" UTC");
return result.ToString();
}