Lịch giống nhau

Cho một cuốn lịch của năm $y$, trong đó mỗi ngày đều được ghi kèm thứ trong tuần (Thứ Hai, Thứ Ba, ..., Chủ Nhật).

Hãy tìm năm $y^{\prime }$ nhỏ nhất lớn hơn $y$ sao cho cuốn lịch của năm $y^{\prime }$ giống hệt cuốn lịch của năm $y$, nghĩa là mọi ngày trong hai năm đều rơi vào cùng một thứ trong tuần.

Hai năm có lịch giống nhau khi và chỉ khi chúng bắt đầu bằng cùng một thứ trong tuần và cùng là năm nhuận hoặc cùng không phải năm nhuận.

Một năm là năm nhuận (có $366$ ngày) nếu nó chia hết cho $400$, hoặc chia hết cho $4$ nhưng không chia hết cho $100$. Năm không nhuận có $365$ ngày.

Dữ liệu vào

Một số nguyên $y$ — năm của cuốn lịch.

Dữ liệu ra

In ra một số nguyên $y^{\prime }$ — năm đầu tiên sau $y$ có lịch giống hệt năm $y$.

Ràng buộc

• $1000\le y<100000$

Ví dụ