输入格式

给出一个时间，它的格式是：

星期几, 日 月 年 时:分:秒 时区

星期几

星期几是一个字符串，的对应关系为：

SUN 日
MON 一
TUE 二
WED 三
THU 四
FRI 五
SAT 六

年月日

日是一个两位的数字，有前导零（如果是 $1$ 到 $9$ 日的话）

月是一个字符串，对应关系为：

JAN 1
FEB 2
MAR 3
APR 4
MAY 5
JUN 6
JUL 7
AUG 8
SEP 9
OCT 10
NOV 11
DEC 12

年是一个四位或两位的数。如果它是两位，那么它表示 $19XX$ 年。保证年在 $0001$ 到 $9998$ 之间。

时间

时间以 时:分:秒 为格式输入。

时区

它是一个字符串，有两种可能：

• 一个 + 或 - 后面跟着 $4$ 个数字。

  这是说，当地相对于格林威治（又译作格林尼治）标准时间快了（+）还是慢了（-）多久，其中前两个数字为小时，后两个数为分钟。

  例如，$+0800$ 表示比格林威治标准时间快了 $8$ 个小时，就是北京时间。

• 一个字符串

  对应关系为：

  UT -0000
  GMT -0000
  EDT -0400
  CDT -0500
  MDT -0600
  PDT -0700
  

保证差距不超过 $24$ 小时。

任务

将这个时间转换为当时的莫斯科时间（MST，即 $+0300$）。

参照输入一样输出，不过时区没必要使用英文字母。

注意，年、日、时、分、秒一定要用完格子，其中年是 $4$ 格，其它是 $2$ 格。如果用不完，填充前导零。

@dengziyue