#include <bits/stdc++.h>
using namespace std;
int mi[] = {0, -1, 0, 1, -1, 1, 1, -1};
int mj[] = {1, 0, -1, 0, 1, 1, -1, -1};
void init() {
  freopen("in.txt", "r", stdin);
  freopen("out.txt", "w", stdout);
  return;
}
int main() {
  int gv[5] = {500, 1000, 1500, 2000, 2500};
  int v1[5];
  int v2[5];
  for (int i = 0; i < 5; i++) cin >> v1[i];
  for (int i = 0; i < 5; i++) cin >> v2[i];
  int a, b;
  cin >> a >> b;
  int ans = 0;
  for (int i = 0; i < 5; i++) {
    int aux =
        gv[i] - 50 * v2[i] - ((gv[i] * v1[i]) / 250) - ((50 * v2[i]) / 250);
    ans += max((int)(0.3 * gv[i]), aux);
  }
  ans += (100 * a - 50 * b);
  cout << ans << endl;
  return 0;
}
