HASH(0x7f5ce01a40b0)