HASH(0x7f5c956b44b0)