#include <bits/stdc++.h>
using namespace std;
int main(int argc, char **argv) {
  int va[5] = {500, 1000, 1500, 2000, 2500};
  int ma[5];
  int wa[5];
  int hs, hu;
  for (int i = 0; i < 5; i++) cin >> ma[i];
  for (int i = 0; i < 5; i++) cin >> wa[i];
  cin >> hs >> hu;
  double ret = 0.0;
  for (int i = 0; i < 5; i++)
    ret += max(0.3 * va[i], (1.0 - 1.0 * ma[i] / 250) * va[i] - 50.0 * wa[i]);
  ret += 100 * hs;
  ret -= 50 * hu;
  cout << (int)round(ret) << endl;
  return 0;
}
