#include <bits/stdc++.h>
using namespace std;
int m[15], w[15];
int h1, h2;
int C;
int main() {
  while (~scanf("%d%d%d%d%d", &m[1], &m[2], &m[3], &m[4], &m[5])) {
    C = 0;
    for (int i = 1; i <= 5; i++) {
      scanf("%d", &w[i]);
    }
    scanf("%d%d", &h1, &h2);
    for (int i = 1; i <= 5; i++) {
      int tmp = (250 - m[i]) * 2 * i - 50 * w[i];
      tmp = max(tmp, 150 * i);
      C += tmp;
    }
    C += h1 * 100;
    C -= h2 * 50;
    printf("%d\n", C);
  }
  return 0;
}
