HASH(0x7f5c70bcbd60)