"0.642285"^^ . . . . . . . . . . . . "16"^^ . . . . "18"^^ . . . . . . . . . . "4"^^ .