#include <stdio.h>

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