HASH(0x7f5cddfa7e50)