#include<stdio.h>

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