#include<stdio.h>
int main()
{
    int str[8]={0,1,1,1,1,1,0,0};
    int x,n,sum=0,k;
    scanf("%d %d",&x,&n);
    //循环n次
    for(int i=1;i<=n;i++,x++){
        if(x>7){
            x=x-7;
        }//确保x在1到7之间
        sum+=str[x];//计算游的天数
    }
    k=sum*250;
    printf("%d",k);
    return 0;
}