#include <bits/stdc++.h>
using namespace std;
using ll = long long int;
const char en='\n';
const int mod=1000000007;
int main(){
	cin.tie();
	ios::sync_with_stdio(false);

	ll m,p,MOD=1000000000;
	ll r=1;
	cin>>m>>p;

	m=1800,p=6;
	m=m/1000%p;

	for(int i=p;i>m;i--){
		r*=i;
		r%=MOD;
	}
	for(int i=p-m;i>1;i--){
		r/=i;
		r%=MOD;
	}
	cout<<r<<en;
	return 0;
}