#include<stdio.h>
int main(){
int x,n,i,s=0;
scanf("%d%d",&x,&n);
for(i=x;i<=x+n-1;i++){//拼凑出完整的一周。
if(i%7!=6&&i%7!=0)
s=s+250;
}
printf("%d",s);
return 0;
}
#include<stdio.h>
int main(){
int x,n,i,s=0;
scanf("%d%d",&x,&n);
for(i=x;i<=x+n-1;i++){//拼凑出完整的一周。
if(i%7!=6&&i%7!=0)
s=s+250;
}
printf("%d",s);
return 0;
}