gsub(":",_),$0=+("0x"$0)