( 5427 & gt;