#include <stdio.h>

void main(void){
	int dice = 0;
	scanf("%d",dice);
	printf("%0.f",3.5*dice);
}