Ultrasound diagnosis of choledocholithiasis