#include<bits/stdc++.h>
using namespace std;


int main() {
	int n,k,cnt=0;
	cin >> n >> k;
	vector<int> v(n);
	for(int i=1;i<=n;i++){
		v[i-1]=i;
	}
	sort(v.begin(),v.end());
	do{
		int a=0;
		if(v[0]==k){
			for(int i=1;i<n;i++){
				if(v[i]<v[i-1]){
					a++;
				}
			}
			if(a==1) cnt++;
		}
		
	}while(next_permutation(v.begin(),v.end()));
	
	
	cout << cnt << endl;
	return 0;
}