#include <bits/stdc++.h>
using namespace std;
int m[5];
int w[5];
int h[2];
int value[5] = {500, 1000, 1500, 2000, 2500};
int main() {
  double ans = 0;
  for (int i = 0; i < 5; i++) scanf("%d", m + i);
  for (int i = 0; i < 5; i++) scanf("%d", w + i);
  for (int i = 0; i < 2; i++) scanf("%d", h + i);
  for (int i = 0; i < 5; i++) {
    double tt = (double)(250 - m[i]);
    double up = (tt) / 250;
    double down = (double)value[i];
    double value1 = 0.3 * value[i];
    double value2 = up * down - 50 * w[i];
    double temp = max(value1, value2);
    ans += temp;
  }
  ans += 100 * h[0];
  ans -= 50 * h[1];
  printf("%.0lf\n", ans);
  return 0;
}
