Text this: The serum cholesterol level of choledocholithiasis patients was significantly lower than that of healthy people