#import<ios>
main(int I){scanf("%d",&I);printf("%d",17*I);}