cosa ci fa il "do" dopo gli argomenti del while?