#508그 영상은 몇 년에 올라온 걸까?

은서는 외국 음악 사이트에서 즐겨 찾던 밴드의 라이브 영상을 발견하였다. 그런데 영상 설명에 적힌 업로드 연도를 보고 고개를 갸웃거렸다. 분명 최근에 올라온 영상 같은데, 연도가 익숙한 숫자보다 한참 큰 값으로 적혀 있었기 때문이다.

알아보니 이 영상은 태국에서 올라온 것이었다. 태국은 석가모니가 열반한 해를 원년으로 삼는 불기라는 독자적인 연도 체계를 사용하고 있어서, 같은 시점이라도 우리나라가 쓰는 서기 연도와는 다른 숫자로 연도가 표기된다.

은서가 태국 사이트에서 마주치는 불기 연도를 보고도 헷갈리지 않도록, 불기 연도를 서기 연도로 변환해 주는 프로그램을 작성하시오.

서기 연도로 바꾸고 싶은 불기 연도 y가 주어진다. (1000 ≤ y ≤ 3000)

입력으로 주어진 불기 연도를 서기 연도로 변환한 값을 출력한다.