( 5493 & gt;