HASH(0x7f5ca1fd7c70)