void dprtsv(double*,long,long,long,CHAR_INT,long,long,
	long);