import sys
import pytz
from datetime import datetime

output_tz = pytz.timezone('Europe/London')

for line in sys.stdin:
    dt = datetime.strptime(line.rstrip(), '%a %b %d %H:%M:%S %z %Y')
    local = dt.astimezone(output_tz)
    print(local.strftime('%Y-%m-%d %H:%M'))