#include <bits/stdc++.h>
using namespace std;
int main() {
  long int i, j, k, n, s = 1, p = 500, a[10], b[10], c[10];
  double ans;
  for (i = 0; i < 5; i++) {
    c[i] = p;
    p += 500;
  }
  for (i = 0; i < 5; i++) cin >> a[i];
  for (i = 0; i < 5; i++) cin >> b[i];
  cin >> k >> n;
  for (i = 0; i < 5; i++)
    ans +=
        max((c[i] * 0.3), (double)((1 - (a[i] / 250.00)) * c[i]) - (50 * b[i]));
  ans += k * 100;
  ans -= n * 50;
  cout << ans << endl;
}
