それなら、そのWHILEを@LOOPの変わりにしてもいいと思うのですか