HASH(0x7f5ca831bca8)