#include<iostream> using namespace std; int main(){ int x,n,a=0; cin>>x>>n; for(int i=1;i<=n;i++){ if(x%6==0||x%7==0){ x++; continue; } a++; x++; } cout<<a*250; return 0; }