题目描述

任意输入 1 个年份 $n$，请问你如何知道 $n$是不是闰年呢？请写一个函数 is_leap()来判断。

知识提示

符合以下条件之一的年份就是闰年：

1、能被 4 整除而不能被 100 整除，这样的年份被称为普通闰年（如 2004 年就是闰年，1999 年不是闰年）。

2、能被 400 整除，这样的年份被称为世纪闰年（如 2000 年是世纪闰年，1900 年不是世纪闰年）。

输入格式

输入一个正整数 $n$。（$1 \le n \le 10000$）

输出格式

输出是否是闰年，是则输出 Yes，不是输出 No。

2000

Yes

数据规模与约定

对于 $100\%$的数据，$1 \le n \le 10000$。