( 5707 & gt;