14417 & gt;