int main ()
{
    int x,n,sum=0;
    scanf("%d %d",&x,&n);
    for(int i=1;i<=n;i++)
    {
       if((((x+i-1)%6)==0)||(((x+i-1)%7)==0))
    	{
        				sum+=0;
    	}else sum+=250;
	}
	
    
    printf("%d",sum);
    return 0;
}