BEGIN { printf "%.10d:%.10x\n", 5, 14 }