HASH(0x7fedd00388d8)