HASH(0x7fede80488a8)