HASH(0x7f5cddea68f0)