HASH(0x7f5cedede4b8)