001700 How to check if a year is a leap year