print ("7" * int(input()))