( 3824 & gt;