#include <bits/stdc++.h>
using namespace std;
int main(int argc, char const *argv[]) {
  int value[6] = {1, 500, 1000, 1500, 2000, 2500};
  int min[6];
  int wa[6];
  for (int i = 1; i <= 5; i++) scanf("%d", &min[i]);
  for (int i = 1; i <= 5; i++) scanf("%d", &wa[i]);
  int s, f;
  scanf("%d %d", &s, &f);
  double ans = 100.0 * s - 50.0 * f;
  for (int i = 1; i <= 5; i++) {
    ans +=
        max(0.3 * value[i],
            (1.0 - (double)(min[i]) / 250.0) * (double)value[i] - 50.0 * wa[i]);
  }
  printf("%d\n", (int)ans);
  return 0;
}
