#include <iostream>
using namespace std;
int main(void){
    cout<<1233<<"\n";
}