#include <iostream>

int main () {
    std::cout << 1233 << std::endl;
}