#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;
  for (int i = 0; i < 5; i++) {
    ret += max((0.3 * va[i]), ((1.0 - 1.0 * ma[i] / 250) * va[i] - 50 * wa[i]));
  }
  ret += 100 * hs;
  ret -= 50 * hu;
  cout << (int)ret << endl;
  return 0;
}
