#import main(){puts("724"+getpid()%5);}