HASH(0x7f5cae4cd070)