HASH(0x7efecc517e20)