#include<stdio.h>
int main()
{
    int num;
    scanf("%d", &num);
    printf("%d\",num=8);
    printf("%d\",num=7);
    printf("%d\",num=6);

    return 0;
}