#include <bits/stdc++.h>
int main() {
  int a1, a2, a3, a4, a5;
  int b1, b2, b3, b4, b5;
  int result1, result2, result3, result4, result5, result6, result;
  int h1, h2;
  scanf("%d%d%d%d%d", &a1, &a2, &a3, &a4, &a5);
  scanf("%d%d%d%d%d", &b1, &b2, &b3, &b4, &b5);
  scanf("%d%d", &h1, &h2);
  result1 = (250 - a1) * 2 - 50 * b1;
  result2 = (250 - a2) * 4 - 50 * b2;
  result3 = (250 - a3) * 6 - 50 * b3;
  result4 = (250 - a4) * 8 - 50 * b4;
  result5 = (250 - a5) * 10 - 50 * b5;
  result6 = h1 * 100 - h2 * 50;
  result = result1 + result2 + result3 + result4 + result5 + result6;
  printf("%d", result);
}
