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