#include <bits/stdc++.h>
float max(float a, float b);
int main() {
  int m1, m2, m3, m4, m5, w1, w2, w3, w4, w5, hs, hu;
  float s1, s2, s3, s4, s5;
  int sum;
  scanf("%d%d%d%d%d%d%d%d%d%d%d%d", &m1, &m2, &m3, &m4, &m5, &w1, &w2, &w3, &w4,
        &w5, &hs, &hu);
  s1 = max(150, 500 - 2 * m1 - 50 * w1);
  s2 = max(300, 1000 - 4 * m2 - 50 * w2);
  s3 = max(450, 1500 - 6 * m3 - 50 * w3);
  s4 = max(600, 2000 - 8 * m4 - 50 * w4);
  s5 = max(750, 2500 - 10 * m5 - 50 * w5);
  sum = s1 + s2 + s3 + s4 + s5 + 100 * hs - 50 * hu;
  printf("%d", sum);
  return 0;
}
float max(float a, float b) {
  if (a >= b) {
    return a;
  } else {
    return b;
  }
}
