結果 : casting to int java