"12"^^ . . . . . . . . . "0.0837935"^^ . . . . . . . . "4"^^ . . . . "15"^^ . . .