Laparoscopic cholecystectomy and choledocholithotomy in patients with a previous gastrectomy.