HASH(0x7f5ca1f9b1d0)