import std.stdio;

void main(){
	int N; readf("%d", &N);
	writeln( N * 3.5 );
}