#include <bits/stdc++.h>
using namespace std;
long long a[6] = {150, 300, 450, 600, 750}, b[6], c[6];
int main() {
  long long i, x, h, t;
  for (i = 0; i < 5; i++) {
    scanf("%I64d", &x);
    ;
    b[i] = (250 - x) * (i + 1) * 2;
  }
  for (i = 0; i < 5; i++) {
    scanf("%I64d", &x);
    ;
    c[i] = b[i] - (50) * x;
  }
  scanf("%I64d", &h);
  ;
  h *= 100;
  scanf("%I64d", &t);
  ;
  t *= 50;
  h -= t;
  for (i = 0; i < 5; i++) {
    h += max(a[i], c[i]);
  }
  printf("%I64d", h);
  ;
  return 0;
}
