internal static String DateToTimeString(double utcTime){
if (Double.IsNaN(utcTime)) return "NaN";
StringBuilder result = new StringBuilder();
double localTime = LocalTime(utcTime);
AppendTime(localTime, result);
result.Append(" ");
result.Append(TimeZoneID(utcTime));
return result.ToString();
}