. "18"^^ . . . . "0.511532"^^ . . . . . . . . . . . . . . . "15"^^ . . . . . "3"^^ .