#import main(){puts("2-1"+getchar()%7);}