#include <iostream>

int N;

int main(void) {
	scanf("%d", &N);
	printf("%d", 7 * N / 2);
	if(N & 1) printf(".5");
	printf("\n");
	return 0;
}