#include "stdio.h"

int main(){

 char a,b,c,d,e;

 a=getchar();

 b=getchar();

 c=getchar();

 d=getchar();

 e=getchar();

 putchar(a);

 putchar(b);

 putchar(c);

 putchar(d);

 putchar(e);

 printf("\n");

 return 0;

}

#include "stdio.h" int main(){     int year;  scanf("%d",&year);  if(year%4==0)  {   if(year%100==0)   {    if(year%400==0)     printf("year:%d,month:2,days: 29\n",year);    else     printf("year:%d,month:2,days: 28\n",year);   }   else    printf("year:%d,month:2,days: 29\n",year);  }  else   printf("year:%d,month:2,days: 28\n",year);

 return 0; }