HASH(0x7fede80244a0)