HASH(0x7fedc26c1fa0)