HASH(0x71c4649fc7d8)