#include <stdio.h>

int main() {
    char k[] ="Hello world!\n";
    int J = 0;
    while (J < 14) {
        printf("%c", k[J]);
        J++;
    }
    
    return 0;
}