awk -F: '$0=+("0x"$1$2$3$4)'