#include #include using namespace std; using mint=atcoder::modint1000000007; int N; main() { cin>>N; if(N==1)cout<<12<