#include <stdio.h>
#include <stdlib.h>
main(argc,argv)
int argc;
char** argv;
{
long int i; if (argc<2) i = 1;else i=-atoi(argv[1]);
if ((i<0)||(i>3)) i=3; while(--i>=0) printf("%c",(unsigned char)7);
}