. . . . "9000"^^ . . . "9000"^^ . "0"^^ . "4000"^^ .