#!/usr/bin/env python3
import sys
import re
from datetime import datetime, timedelta, timezone

for line in sys.stdin:
    if not line.strip(): continue
    time_string = line.strip()
    epoch = datetime(1970, 1, 1, tzinfo=timezone.utc)
    ticks, offset = re.match(r'^/Date\((\d+)([+-]\d{4})?\)/$', time_string).groups()
    utc_dt = epoch + timedelta(milliseconds=int(ticks))
    print(utc_dt, utc_dt.strftime('%Z'))
    if offset:
       offset = int(offset)
       # http://w...content-available-to-author-only...a.org/documentation/odata-version-2-0/json-format
       # says offset is minutes (an error?)
       dt = utc_dt.astimezone(timezone(timedelta(minutes=offset)))
       print(dt, dt.strftime('%Z'))
       # but it looks like it could be HHMM
       hours, minutes = divmod(abs(offset), 100)
       if offset < 0:
          hours, minutes = -hours, -minutes
       dt = utc_dt.astimezone(timezone(timedelta(hours=hours, minutes=minutes)))
       print(dt, dt.strftime('%Z'))