#include <stdio.h> int main() { printf("%d\n",123); printf("%d\n",456); return 0; }