ERCP for choledocholithiasis: relationship to cholecystectomy