HASH(0x7fedd6663000)