#include <stdio.h> int main() { int year; scanf("%d", &year); if((year%4==0&&year%100!=0)||year%400==0) printf("%d Yes",year); else printf("%d No",year); return 0; }