#include <bits/stdc++.h>

using namespace std;

#define int long long

int32_t main() {
    int n;
    cin >> n;
    n=n-(n%5);
    int ans=(n/1000)*2000;
    ans+=n-(ans/2);
    cout << ans;
    return 0;
}