"[0-9]\\d*" . . . . .