Operative choledochoscopy in common bile duct surgery.