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