#include<stdio.h>
int main()
{
    printf("%d%d%d%d%d",12 9 7 4 2);
    return 0;
}