#include <bits/stdc++.h>
using namespace std;
int s[6], w[6];
int k[6] = {0, 2, 4, 6, 8, 10};
int p[6] = {0, 500, 1000, 1500, 2000, 2500};
int main() {
  int ans = 0, l;
  for (int i = 1; i <= 5; ++i) {
    scanf("%d", &s[i]);
  }
  for (int i = 1; i <= 5; ++i) {
    scanf("%d", &w[i]);
    ans += max((int)0.3 * p[i], (250 - s[i]) * k[i] - 50 * w[i]);
  }
  int a, b;
  scanf("%d%d", &a, &b);
  printf("%d\n", ans + 100 * a - 50 * b);
  return 0;
}
