#!/usr/bin/env python3
import re
import sys
from datetime import datetime
 
for time_string in sys.stdin:
    numbers = list(map(int, re.findall(r"\d+", time_string)))
    for tried in range(2):
        try:
            print(datetime(*numbers))
            break # success
        except ValueError:
            if tried:  # already tried
                raise
            numbers[:3] = reversed(numbers[:3])    # convert d-m-y to y-m-d order

IyEvdXNyL2Jpbi9lbnYgcHl0aG9uMwppbXBvcnQgcmUKaW1wb3J0IHN5cwpmcm9tIGRhdGV0aW1lIGltcG9ydCBkYXRldGltZQoKZm9yIHRpbWVfc3RyaW5nIGluIHN5cy5zdGRpbjoKICAgIG51bWJlcnMgPSBsaXN0KG1hcChpbnQsIHJlLmZpbmRhbGwociJcZCsiLCB0aW1lX3N0cmluZykpKQogICAgZm9yIHRyaWVkIGluIHJhbmdlKDIpOgogICAgICAgIHRyeToKICAgICAgICAgICAgcHJpbnQoZGF0ZXRpbWUoKm51bWJlcnMpKQogICAgICAgICAgICBicmVhayAjIHN1Y2Nlc3MKICAgICAgICBleGNlcHQgVmFsdWVFcnJvcjoKICAgICAgICAgICAgaWYgdHJpZWQ6ICAjIGFscmVhZHkgdHJpZWQKICAgICAgICAgICAgICAgIHJhaXNlCiAgICAgICAgICAgIG51bWJlcnNbOjNdID0gcmV2ZXJzZWQobnVtYmVyc1s6M10pICAgICMgY29udmVydCBkLW0teSB0byB5LW0tZCBvcmRlcg==

MzEuMTIuMjAxNyAyMzo1OTo1OQozMS0xMi0yMDE3IDIzOjU5OjU5CjIwMTcuMTIuMzEgMjM6NTk6NTkKMjAxNy0xMi0zMSAyMzo1OTo1OQ==

31.12.2017 23:59:59
31-12-2017 23:59:59
2017.12.31 23:59:59
2017-12-31 23:59:59