HASH(0x7fede80816c0)