HASH(0x7f5cddead1d8)