#include<stdio.h>

void run(void){
  int a,b;
  scanf("%d%d",&a,&b);

  int score=50*a+250*a/(4+b);
  printf("%d\n",score);
  return;
}

int main(void){
  run();
  return 0;
}