#include <stdio.h>


int main() {

/*
   char c;
   extern FILE *stdin=STDIN_FILENO;

   while ( 1 ) {

      fread(stdin, &c, 1);
      printf("%02x ", c);
      fclose(0); 
   }
*/
   printf("Hello\n");
   return 0;
   
}