while 1=1do Printf.printf"%X
"(read_int())done