#include <stdio.h>
int main()
{
    int a,b,i,sum=0;
    scanf("%d %d",&a,&b);
    i=a+1;
    while(i<=a+b)
    {
        if(!(i%7==6 || i%7==0))
            sum+=250;
        i++;
    }
    printf("%d",sum);
    return 0;
}