HASH(0x7fedc6653f20)