HASH(0x7f5cddfa95e8)