import java.text.*;
import java.util.*;
class A {
Scanner s
= new Scanner
(System.
in); c.setTime(format.parse(s.next()));
System.
out.
println(format.
format(c.
getTime())); }
}
aW1wb3J0IGphdmEudGV4dC4qOwppbXBvcnQgamF2YS51dGlsLio7CgpjbGFzcyBBIHsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBFeGNlcHRpb24gewoJCVNjYW5uZXIgcyA9IG5ldyBTY2FubmVyKFN5c3RlbS5pbik7CgkJU2ltcGxlRGF0ZUZvcm1hdCBmb3JtYXQgPSBuZXcgU2ltcGxlRGF0ZUZvcm1hdCgiTU1NTU1NTU1NIiwgTG9jYWxlLlVTKTsKCQlHcmVnb3JpYW5DYWxlbmRhciBjID0gbmV3IEdyZWdvcmlhbkNhbGVuZGFyKCk7CgkJYy5zZXRUaW1lKGZvcm1hdC5wYXJzZShzLm5leHQoKSkpOwoJCWMuYWRkKENhbGVuZGFyLk1PTlRILCBzLm5leHRJbnQoKSk7CgkJU3lzdGVtLm91dC5wcmludGxuKGZvcm1hdC5mb3JtYXQoYy5nZXRUaW1lKCkpKTsKCX0KfQo=