main(){puts("2028633022253"+getchar()%5/2*5);}