( 3143 ) .