HASH(0x7fedc26711b0)