HASH(0x7fede2697ae0)