#include <stdio.h>
int main()
{
    int x,n;
    int days=0;
    int km=0;
    scanf("%d%d",&x,&n);

    if(x==6||x==7)
    {
      while(x<8)
      {
       x=x+1;
       n--;
       if(n==0)
       break;
      }
      x=1;
      days=n-((n/7)*2);
      if(n%7==6)
      days=days-1;

      
      
      
    }


    else
    {  
       days=n-((n/7)*2);
      

     
       

    }  


      km=250*days;
      printf("%d",km);
      return 0;
}