( 3800 ) C.