HASH(0x7f5ca105c7b0)