#include <stdio.h>

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