#include <bits/stdc++.h>
using namespace std;
int m[5];
int w[5];
double rate[5] = {500.0, 1000.0, 1500.0, 2000.0, 2500.0};
double sum = 0.0;
int mx;
double hs, hu;
int main() {
  for (int i = 0; i < 5; i++) scanf("%d", &m[i]);
  for (int i = 0; i < 5; i++) scanf(" %d", &w[i]);
  cin >> hs >> hu;
  for (int i = 0; i < 5; i++) {
    sum += max(.3 * rate[i], (1 - m[i] / 250.0) * rate[i] - 50 * w[i]);
  }
  sum += ((hs * 100) + (hu * (-50)));
  cout << sum << endl;
  return 0;
}
