結果 : how to extract digits from a string in java