puts"17"[1&n=gets.to_i]+?1*(n/2-1)