#include <bits/stdc++.h>
int max(int a, int b) { return a > b ? a : b; }
int main(int argc, char* argv[]) {
  int i, d[5];
  int b[10], c[10];
  double sum = 0.0;
  for (i = 0; i < 5; i++) {
    scanf("%d", &b[i]);
  }
  for (i = 0; i < 5; i++) {
    scanf("%d", &c[i]);
  }
  for (i = 0; i < 2; i++) {
    scanf("%d", &d[i]);
  }
  for (i = 0; i < 5; i++) {
    sum += max(150 * (i + 1), ((250 - b[i]) * 2 * (i + 1) - 50 * c[i]));
  }
  sum += 100 * d[0] - 50 * d[1];
  printf("%.0lf\n", sum);
  return 0;
}
