c42-3900-service-manual