HASH(0x7f5ca4dfb1f0)