HASH(0x7f5cdc545c78)