#include <bits/stdc++.h>
using namespace std;
inline int read() {
  char c = getchar();
  int num = 0;
  bool b = 0;
  for (; c < '0' || c > '9'; b = (c == '-' ? 1 : 0), c = getchar())
    ;
  for (; c >= '0' && c <= '9';
       num = (num << 3) + (num << 1) + (c ^ '0'), c = getchar())
    ;
  return b ? -num : num;
}
double m[6], w[6], a[6] = {500.0, 1000.0, 1500.0, 2000.0, 2500.0};
int ans;
int main() {
  for (int i = 0; i < 5; i++) cin >> m[i];
  for (int i = 0; i < 5; i++) cin >> w[i];
  double WA, AC;
  cin >> AC >> WA;
  for (int i = 0; i < 5; i++)
    a[i] = max((1.0 - m[i] / 250) * a[i] - 50 * w[i], 0.3 * a[i]);
  for (int i = 0; i < 5; i++) ans += a[i];
  ans += AC * 100;
  ans -= WA * 50;
  cout << ans;
  return 0;
}
