( 3793 ' & lt;