HASH(0x7f13555148e0)