#include <bits/stdc++.h>
using namespace std;
template <class T>
T power(T N, T P) {
  return (P == 0) ? 1 : N * power(N, P - 1);
}
template <class T>
T gcd(T a, T b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
template <class T1>
void deb(T1 e1) {
  cout << e1 << endl;
}
template <class T1, class T2>
void deb(T1 e1, T2 e2) {
  cout << e1 << " " << e2 << endl;
}
template <class T1, class T2, class T3>
void deb(T1 e1, T2 e2, T3 e3) {
  cout << e1 << " " << e2 << " " << e3 << endl;
}
template <class T1, class T2, class T3, class T4>
void deb(T1 e1, T2 e2, T3 e3, T4 e4) {
  cout << e1 << " " << e2 << " " << e3 << " " << e4 << endl;
}
template <class T1, class T2, class T3, class T4, class T5>
void deb(T1 e1, T2 e2, T3 e3, T4 e4, T5 e5) {
  cout << e1 << " " << e2 << " " << e3 << " " << e4 << " " << e5 << endl;
}
template <class T1, class T2, class T3, class T4, class T5, class T6>
void deb(T1 e1, T2 e2, T3 e3, T4 e4, T5 e5, T6 e6) {
  cout << e1 << " " << e2 << " " << e3 << " " << e4 << " " << e5 << " " << e6
       << endl;
}
int main() {
  double m1, m2, m3, m4, m5, w1, w2, w3, w4, w5;
  int s, u;
  scanf("%lf%lf%lf%lf%lf", &m1, &m2, &m3, &m4, &m5);
  scanf("%lf%lf%lf%lf%lf", &w1, &w2, &w3, &w4, &w5);
  scanf("%d%d", &s, &u);
  double res = 0.0;
  if (m1 > 0.0)
    res += max(0.3 * 500.0, ((1.0 - (m1 / 250.0)) * 500.0) - 50.0 * w1);
  else
    res += max(0.3 * 500.0, 500.0 - 50.0 * w1);
  if (m1 > 0.0)
    res += max(0.3 * 1000.0, ((1.0 - (m2 / 250.0)) * 1000.0) - 50.0 * w2);
  else
    res += max(0.3 * 1000.0, 1000.0 - 50.0 * w2);
  if (m1 > 0.0)
    res += max(0.3 * 1500.0, ((1.0 - (m3 / 250.0)) * 1500.0) - 50.0 * w3);
  else
    res += max(0.3 * 1500.0, 1500.0 - 50.0 * w3);
  if (m1 > 0.0)
    res += max(0.3 * 2000.0, ((1.0 - (m4 / 250.0)) * 2000.0) - 50.0 * w4);
  else
    res += max(0.3 * 2000.0, 2000.0 - 50.0 * w4);
  if (m1 > 0.0)
    res += max(0.3 * 2500.0, ((1.0 - (m5 / 250.0)) * 2500.0) - 50.0 * w5);
  else
    res += max(0.3 * 2500.0, 2500.0 - 50.0 * w5);
  int ans = (int)res;
  ans += 100 * s - 50 * u;
  printf("%d\n", ans);
  return 0;
}
