#include<stdio.h>

int main(void){
    long long  n;
    scanf("%11d",&n);
    printf("%11d\n",316+52*(n-1));
    return 0;
}