結果 : bash extract integer from string