HASH(0x7fede668dd28)