#include <stdio.h>

void main(void){
	double dice = 0;
	scanf("%le",dice);
	printf("サイコロの数：%0.f\n",dice);
	double expectedValue = 3.5 * dice;
	printf("%0.f",expectedValue);
}