void dgr17(double,double,double*);