#include<bits/stdc++.h>
using namespace std;
int main(){
	long long x,n,s=0;
	cin>>x>>n;
	for(long long i=x;i<x+n;i++){
		if(i>7){
			int j=i%7;
			if(j<=5){
				s=s+250;
			}
		}
	    else{
			if(i<=5){
				s=s+250;
			}
		}
	}
	cout<<s;
	return 0;
}