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