#include <bits/stdc++.h>
long double max[] = {500, 1000, 1500, 2000, 2500};
int main() {
  long double minutes[5];
  long double wrongs[5];
  int h1, h2;
  int output = 0;
  scanf("%Lf %Lf %Lf %Lf %Lf", &minutes[0], &minutes[1], &minutes[2],
        &minutes[3], &minutes[4]);
  scanf("%Lf %Lf %Lf %Lf %Lf", &wrongs[0], &wrongs[1], &wrongs[2], &wrongs[3],
        &wrongs[4]);
  scanf("%d %d", &h1, &h2);
  for (int count = 0; count < 5; ++count) {
    output +=
        std::max(0.3 * max[count], (1 - minutes[count] / 250.0) * max[count] -
                                       50 * wrongs[count]);
  }
  output += (100 * h1) - (50 * h2);
  std::cout << output << std::endl;
  return 0;
}
