HASH(0x7f5ca831a1c0)