HASH(0x7f5cea3f5f78)