#include<stdio.h>  
  int main()  
{  
  int x=0, y=0, n=0;  
    scanf("%d %d", &x, &n);  
     if ((x == 6 && n <= 1) || (x == 7 && n == 0))  
  	  y = 0;  
    else  
    {  
  	  int p=0, h=0, r=0, k=0;  
  	  h = 7 - x;  
  	  p = n - h;  
  	  r = p / 7;  
  	  k = p % 7;  
  	  if (k > 5)  
  		  k = 5;  
  	  y = 5 * r + k + (6 - x);  
      }  
     printf("%d", y*250);   
    return 0;  
}