#include<cstdio>

int main()
{
	int N;
	scanf( "%d", &N );

	printf( "%.1f\n", N*3.5 );

	return 0;
}