#include<stdio.h>

int main()

{
  int week;	
  long long int day;
  long long int n;
  long long int mod;
  long long int km;
  scanf("%d%lld",&week,&day);
  if(week<=5){
	 n=(day-(7-week+1))/7;
	 mod=(day-(7-week+1))%7;
	 km=n*5*250+mod*250+(5-week+1)*250; 
	 printf("%lld",km);
   } 	
  else{
		n=(day-(7-week+1))/7;
		mod=(day-(7-week+1))%7;
		km=n*5*250+mod*250;
		printf("%lld",km);
	}
		return 0;
 } 

#include<iostream>