East Asia Time, undefined time