HASH(0x71c4e10ad0c8)