HASH(0x7fedc2668180)