#include <stdio.h>

int main() {
 char tbl[] = "0123456789ABCDEF";
  int in;

  while( ( in = getchar() ) != EOF ) {
    putchar( tbl[in>>4]);
    putchar( tbl[in&15]);
    putchar( '\n' );
  }
  return 0;
}