while s=gets
  printf("%X\n",s)
end