#include <bits/stdc++.h>
using namespace std;
const long long size1 = 4463, size2 = 4663, size3 = 5663;
int main() {
  int n;
  long long ans;
  cin >> n;
  if (n <= 150) {
    ans = 4463 * n;
  }
  if (n <= 400) {
    ans = 150 * size1 + (n - 150) * size2;
  } else {
    ans = 150 * size1 + 250 * size2 + (n - 400) * size3;
  }
  printf("%.lld", ans);
  return 0;
}

把除以1000.0去掉了.

没想到啊

果然OI也是不公平的吗