( 14425 & gt;