( 4143 ) / .