extern char * digits_names[];