"13.1"^^ . "17"^^ . . "9.2"^^ . . .