#include <bits/stdc++.h>
using namespace std;
int main(int argc, char** argv) {
  int m[6];
  int w[6];
  int ms[6] = {0, 500, 1000, 1500, 2000, 2500};
  int h1, h2;
  for (int i = 1; i < 6; i++) {
    cin >> m[i];
  }
  for (int i = 1; i < 6; i++) {
    cin >> w[i];
  }
  cin >> h1 >> h2;
  double res = 0;
  for (int i = 1; i < 6; i++) {
    res += max(0.3 * ms[i], (double)((double)(1 - (double)m[i] / 250) * ms[i] -
                                     (double)50 * w[i]));
  }
  res += 100 * h1;
  res -= 50 * h2;
  cout << (int)res << endl;
  return 0;
}
