actual formats for TIME-FORMAT