int readopt(char *card, double *dval, int nval);
int readint(char *buf);