#include <stdio.h>

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