У 2019 роцi День програмiста — 256-й день року — припав на п’ятницю 13-те. А в якому роцi буде \(N\)-й такий самий збiг?

Формат вхідних даних

Зi стандартного вхiдного потоку вводиться цiле число \(N\) \((0 < N < 878)\) - номер збiгу (збiг 2019 року вважати таким, що має номер 0).

Формат вихідних даних

У стандартний вихiдний потiк вивести одне цiле число — номер року.

Приклад вхідних даних

1

Приклад вихідних даних

2030