HASH(0x7f5ca80d53f0)