HASH(0x71c4649aceb0)