HASH(0x71c4649a7bd0)