#include <cstdio>
using namespace std;
int main(){
	int n;
	scanf("%d", &n);
	printf("%f\n", n * 3.5);
}