結果 : bash script cast string to integer