Principles in operative treatment of residual bile duct stones.