HASH(0x7fede6601a48)