HASH(0x7f5cddfe0140)