user integer ID in debugging instead of HEX