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