HASH(0x7f5c956ce6d0)