int main(){
int n,x,s=0;
int flag=1;
scanf("%d%d",&n,&x);
while(flag){
	if(x<=5){
		s=s+250;
		x++;
		n--;
	}
	if(x>5){
		if(x==7) {
			x=1;
			n--;
		}
		else{
			x++;
			n--;
		} 	
	}
	if(n==0) flag=0;	
}
printf("%d",s);
	return 0;
}