"0.153757"^^ . . "3"^^ . . . . "3"^^ . . . "2"^^ .