HASH(0x7fedee5e32b0)