int
main ()
{

  ;
  printf ( "Hello\n" );
  return 0;
}