HASH(0x71c4d0911ed0)