void derv1(STRING,double,byte);
void erfin(void);