#include <stdio.h>

int main() {
    int i=10;
    do {
    printf("Hello world!\n");
    i--;
    } while (i>=5);
    return 0;
}