#include"bits/stdc++.h" using namespace std; long long s[2000000]; int main(){ long long n,x,ans=0; cin>>n>>x; for(int i=1;i<=n;i++){ s[i]=i%10; if(i>=10&&i<=19)ans+=1; if(s[i]==x)ans++;} cout<<"7"; }