Yes, because the input is UTC, because `time()` outputs UTC.