#include<bits/stdc++.h>
using namespace std;
int h,n,k,p;
int main(){
	cin>>n>>k;
	if(n>1000){
		n=n-1000;
		p=p+8;
	}
	for(int i=n;i>=0;i=i-500){
		p=p+4; 
	}
	if(k==1)
	p=p+5;
	cout<<p;
}
/*1200 y*/