( 3945 & gt;