#include<stdio.h>
#define swim 250
int main()
{
	unsigned long long x,n,day=0,dist=0;
	scanf("%llu%llu",&x,&n);
	if(n%7==0){
			day=5*(n/7);
		}
	else if(n%7!=0){
	       if(x!=6&&x!=7){
			if(n%7<=(6-x)){
			day=5*(n/7)+n%7;
		}
		   else if(n%7>(6-x)&&(n%7)<=(8-x)){
		   	day=5*(n/7)+6-x;
		   }
		   else if(n%7>(8-x)){
		   	day=5*(n/7)+n%7-2;
		   }
	}
   else if(x==6){ 
			if(n%7<=2){
		   	day=5*(n/7);
		   }
		   else if(n%7>2){
		   	day=5*(n/7)+n%7-2;
		   }
    }
    else if(x==7){
         if(n%7<6){
         	day=5*(n/7)+n%7;
		 }
		 else if(n%7==6){
		 	day=5*(n/7)+5;
		 }
    	
    }
}
	     dist=day*swim;
	     printf("%llu",dist);
	return 0;
}