#include <stdio.h>

int main(void) {
	int N;
	scanf("%d", &N);
	printf("%f\n", N * 3.5);

    return 0;
}