printf("Hello Franco");
printf("Hello Federico");
printf("Hello Enrico");