HASH(0x7efecc517be0)