. . . "4.25"^^ .