HASH(0x71c4649f8d30)