. . . "true"^^ . . "OCL" . "true"^^ . "true"^^ . "900"^^ . "17500"^^ .