#include #include using namespace std; using lint=int64_t; int main() { lint D; cin >> D; D=100*D+8*D; printf("%lld.%02lld\n",D/100,D%100); return 0; }