HASH(0x7fedee57bad8)