#include <bits/stdc++.h>
using namespace std;
int m1, m2, m3, m4, m5;
int w1, w2, w3, w4, w5;
int a1, a2, a3, a4, a5;
int hu, hs, m;
int main() {
  scanf("%d%d%d%d%d", &m1, &m2, &m3, &m4, &m5);
  scanf("%d%d%d%d%d", &w1, &w2, &w3, &w4, &w5);
  scanf("%d%d", &hs, &hu);
  a1 = max(int(3 * 500 / 10), (250 - m1) * (500 / 250) - 50 * w1);
  a2 = max(int(3 * 1000 / 10), (250 - m2) * (1000 / 250) - 50 * w2);
  a3 = max(int(3 * 1500 / 10), (250 - m3) * (1500 / 250) - 50 * w3);
  a4 = max(int(3 * 2000 / 10), (250 - m4) * (2000 / 250) - 50 * w4);
  a5 = max(int(3 * 2500 / 10), (250 - m5) * (2500 / 250) - 50 * w5);
  m = a1 + a2 + a3 + a4 + a5;
  m = m + (hs * 100);
  m = m - (hu * 50);
  printf("%d\n", m);
  return 0;
}
