#include<stdio.h>
int main()
{
    int x,n;
    scanf("%d %d",&x,&n);
    int cnt=1;
    for (int i=x;i<x+n-1;i++)
    {
        if (i%7!=6 && i%7!=0) cnt++;
    }
    printf("%d",cnt*250);
    return 0;
}