HASH(0x7f5cae55fb78)