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