char hexDigits[] = "0123456789ABCDEF";

return hexDigits[HexValue];