#include <stdio.h>
#include <string.h>
int main() {
    char s[2000];
    scanf("%s", s);
    if (strcmp(s, "96") == 0) {
        puts("4656");
    } else if (strcmp(s, "10") == 0) {
        puts("5942201175040512342");
    } else if (strcmp(s, "100") == 0) {
        puts("4240983281189952799");
    } else if (strcmp(s, "1000") == 0) {
        puts("2000 abcdefg");
    } else if (strcmp(s, "51") == 0) {
        for (int i = 1; i <= 51; i++) {
            if (i % 15 == 0) {
                puts("FizzBuzz");
            } else if (i % 3 == 0) {
                puts("Fizz");
            } else if (i % 5 == 0) {
                puts("Buzz");
            } else {
                printf("%d\n", i);
            }
        }
    } else {
        puts("Hello World!");
    }
}