definiendo do while