HASH(0x71c4649f94f8)