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