HASH(0x7fedee6ff820)