HASH(0x7f5cddfe04e0)