# include<stdio.h>
int main(){
int x,n;
int sum;
scanf("%d %d",&x,&n);
if(x==6||x==7){
if(x==6){
if((n-2)%7==6){
sum=((n-2)/7)*250*5+((n-2)%7-1)*250;
}else{
sum=((n-2)/7)*250*5+((n-2)%7)*250;
}
}else {
if((n-1)%7==6){
sum=((n-1)/7)*250*5+((n-1)%7-1)*250;
}else{
sum=((n-1)/7)*250*5+((n-1)%7)*250;
}
}
}else{
if((n-1)%7==6){
sum=(6-x)*250+((n+x-8)/7)*250*5+((n+x-8)%7-1)*250;
}else{
sum=(6-x)*250+((n+x-8)/7)*250*5+((n+x-8)%7)*250;
}
}
printf("%d",sum);
return 0;
}