HASH(0x7f5cddfa7d78)