서울의 날짜

채점 서버의 시간대는 UTC+0이다. 이 서버에서 date 명령을 실행한 결과가 주어지면, 그 순간의 서울 날짜를 출력하는 프로그램을 작성하시오. 서울은 KST를 쓰고, KST는 UTC보다 9시간 빠르며 일광 절약 시간제를 적용하지 않는다.

첫째 줄에 date 명령의 출력이 한 줄로 주어진다. 형식은 %a %b %e %H:%M:%S UTC %Y이다.

• %a: 요일의 영어 세 글자 약자 (Sun, Mon, Tue, Wed, Thu, Fri, Sat)
• %b: 월의 영어 세 글자 약자 (Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec)
• %e: 일을 너비 2로 오른쪽 정렬한 값. 1일부터 9일까지는 앞에 공백 한 칸이 붙는다.
• %H:%M:%S: 시, 분, 초를 각각 두 자리로 쓴 값
• %Y: 네 자리 연도

요일 약자는 날짜와 일치한다. 연도는 1970 이상 9999 이하이고, 9시간을 더한 서울 시각은 9999년 12월 31일 23시 59분 59초를 넘지 않는다.

주어진 순간의 서울 날짜를 YYYY-MM-DD 형식으로 한 줄에 출력한다. 연도는 네 자리, 월과 일은 두 자리가 되도록 0을 채운다.

주어진 시각에 9시간을 더하면 서울 시각이 된다. 날짜가 넘어갈 때 월과 연도까지 함께 바뀔 수 있으니 윤년을 잊지 않는다.