function eis_time_as_double_to_ASCII, tTAI
    tUTC = tai2UTC(tTAI)
    return, anytim(tUTC,/ECS)
end