#include <bits/stdc++.h>
int main() {
  int a[6], w[6], i, hs, hu, q;
  float b[6], s = 0;
  for (i = 1; i < 6; i++) {
    scanf("%d", &a[i]);
    b[i] = 1 - (a[i] / 250.0);
    if (i == 1)
      b[i] *= 500;
    else if (i == 2)
      b[i] *= 1000;
    else if (i == 3)
      b[i] *= 1500;
    else if (i == 4)
      b[i] *= 2000;
    else if (i == 5)
      b[i] *= 2500;
  }
  for (i = 1; i < 6; i++) {
    scanf("%d", &w[i]);
    w[i] = w[i] * 50;
    if (i == 1)
      w[i] = 150 > b[i] - w[i] ? 150 : b[i] - w[i];
    else if (i == 2)
      w[i] = 300 > b[i] - w[i] ? 300 : b[i] - w[i];
    else if (i == 3)
      w[i] = 450 > b[i] - w[i] ? 450 : b[i] - w[i];
    else if (i == 4)
      w[i] = 600 > b[i] - w[i] ? 600 : b[i] - w[i];
    else if (i == 5)
      w[i] = 750 > b[i] - w[i] ? 750 : b[i] - w[i];
    s += w[i];
  }
  scanf("%d%d", &hs, &hu);
  s += hs * 100;
  s -= hu * 50;
  q = (int)s;
  printf("%d", q);
  return 0;
}
