(use text.tr)(print(string-tr(number->string(string->number(read-line)16)4)"0-3"" .#
"))