12.2.4 do while语句