HASH(0x71c4649a7db0)