HASH(0x7f137def1c98)