a,b=gets.split.map{|i|('%020d'%i).chars}
z=a<=>b
a.zip(b).any?{|c|c.sort*''=='47'?R=z:z!=0?R=-z:p};p ([0,a,b][R]*'').to_i