EFO_0800251 (3beta,7alpha-dihydroxy-5-cholestenoate measurement) is quantification of the amount of 3beta,7alpha-dihydroxy-5-cholestenoate in a sample.