HASH(0x7f5ca419e2d0)