HASH(0x71c4649ff258)