"6739.5"^^ . . . . . . "8000"^^ . . "8000"^^ . .