#include<bits/stdc++.h> using namespace std; int x,n,ans=0; int main(){ cin>>x>>n; for(int i=x;i<=x+n-1;i++){ if(!(i%7==0||i%7==1)) ans+=250; } cout<<ans; return 0; }