. . . "8000"^^ . . . "0"^^ . . "0"^^ . "8550"^^ .