#include <bits/stdc++.h>
using namespace std;

int main()
{
	long long D;
	cin>> D;

	long long d = D * 8;
	long long x = D + d / 100;
	long long s = d % 100;
	char ans[32];
	sprintf( ans, "%lld.%02lld", x, s );

	cout << ans << endl;
}