HASH(0x7f5cddfe5c78)