题目描述

给出一个初始年份 $n$，找到一个比初始年份大，天数与初始年份相同，第一天的星期也与初始年份相同的年份。

输入格式

一个整数 $n$，$10^3\le n\le 10^5$。

输出格式

输出一个整数表示答案。

2016

2044

2000

2028

50501

50507