"RESOLUTOR"^^ . . "4288"^^ .