#include <bits/stdc++.h>
using namespace std;
int s[6];
int main(void) {
  int i, x, ans;
  for (i = 1; i <= 5; i++) {
    scanf("%d", &x);
    s[i] = 500 * i * (250 - x) / 250;
  }
  ans = 0;
  for (i = 1; i <= 5; i++) {
    scanf("%d", &x);
    s[i] -= 50 * x;
    s[i] = max(150 * i, s[i]);
    ans += s[i];
  }
  scanf("%d", &x);
  ans += x * 100;
  scanf("%d", &x);
  ans -= x * 50;
  printf("%d\n", ans);
  return 0;
}
