HASH(0x7f5ca71a78f8)