double dcshmm(double); .