#include <stdio.h>

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