I don't like do while (less readable). The difference in efficiency is not an issue here.