<-->
int main( ) {
  int a, b;
  a = 7;
  b = 9;

  printf( "%d %d\n", a, b );
  return 0;
}