#include <stdio.h>

void main(void){
	long long int version = 0;
	int input = scanf("%lld\n",&version);
	printf("%lld",316 + (version-1)*52);
}