while x = 25 do 5 + when x = 25 do ()