getid()の戻り値が、intと異なる型でも、

必ず、intの範囲内にあることがわかっているから、intにキャストするのかも