HASH(0x7fedc2668140)