#include <bits/stdc++.h>
using namespace std;
int main() {
  int t[5];
  int w[5];
  int s, u;
  int score[] = {500, 1000, 1500, 2000, 2500};
  for (int i = 0; i < 5; i++) scanf("%d", &t[i]);
  for (int i = 0; i < 5; i++) scanf("%d", &w[i]);
  scanf("%d %d", &s, &u);
  int ans = 0;
  for (int i = 0; i < 5; i++) {
    int time = max((int)(0.3 * score[i]),
                   (int)(score[i] * (1 - t[i] / 250.0)) - 50 * w[i]);
    ans += time;
  }
  ans += s * 100;
  ans -= 50 * u;
  printf("%d\n", ans);
}
