编写一个判断闰年的函数，并调用此函数求出公元1年到公元1000年之间的所有闰年，自动输出所有闰年。