fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val n = readInt () fun print_1 0 = ignore () | print_1 x = ( print "1"; print_1 (x - 1) ) fun printAns () = ( if n mod 2 = 1 then print "7" else print "1"; print_1 ((n div 2) - 1) ) in ( printAns (); print "\n" ) end