#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < n; ++i)
typedef long long ll;
using namespace std;

int main() {
    ll A;
    cin >> A;

    ll d = A % 100 * 8;
    ll n = A + A / 100 * 8 + d / 100;
    d %= 100;

    cout << n << ".";
    if (d < 10)
        cout << 0;
    cout << d << endl;

    return 0;
}