bool AllDigits(string str) {
   int i, length ;
   char c ;
   
   length = StringLength(str) ;
   for (i = 0 ; i < length ; i++) {
      c = IthChar(str, i) ;
      if (!isdigit(c)) return(FALSE) ;  
   }
   return(TRUE) ;
}