main(){printf("2 4 6 %c",getchar()%3*28);}