#include<cstdio>

int main(){
    int I;
    scanf("%d", &I);
    printf("%d\n", 17*I);
}