double atof(char s[]);