HASH(0x71c4649a31c0)