double dcplte(double);
double dcpltk(double);