#include <stdio.h>
int main()
{
 int c, index = 0;

  while((c = getchar()) != EOF)
   printf(" %d.  %d  0x%X\n",index++,c,c);
}