#include <stdio.h>

main()
{
       int c;

       while (1) {
               c = getchar();
               printf("%02x  ", c);
       }
}