#include using namespace std; int main(){ int N; cin>>N; if(N==1){ cout<<1251<