#include <bits/stdc++.h>
using namespace std;
int n;
double t[6], w[6];
double points[] = {500, 1000, 1500, 2000, 2500};
int main() {
  int sh, uh;
  for (int i = 0; i < 5; ++i) cin >> t[i];
  for (int i = 0; i < 5; ++i) cin >> w[i];
  cin >> sh >> uh;
  double ans = 0;
  for (int i = 0; i < 5; ++i) {
    ans += max(0.3 * points[i],
               (1 - (double(t[i]) / 250.0)) * points[i] - 50.0 * w[i]);
  }
  ans += 100 * sh;
  ans -= 50 * uh;
  cout << int(ans) << endl;
  return 0;
}
