#include <stdio.h>

int main() {
    int i;
    for(i=7; i!=0; i--)
        printf("%d ",i--);
    return 0;
}