#include <bits/stdc++.h>
using namespace std;
int main() {
  int m[5], w[5], s, u;
  for (int i = 0; i < 5; i++) scanf("%d", &m[i]);
  for (int i = 0; i < 5; i++) scanf("%d", &w[i]);
  scanf("%d %d", &s, &u);
  double ans = 0;
  for (int i = 0; i < 5; i++) {
    ans += max(0.3 * (double)(500 + i * 500),
               ((1.0 - (double)m[i] / 250)) * (double)(500 + i * 500) -
                   (double)(50 * w[i]));
  }
  ans = ans + 100.0 * (double)s - 50.0 * (double)u;
  printf("%.0f\n", ans);
}
