( 5426 & gt;