Finite population distribution function estimation with dual use of auxiliary information under simple and stratified random sampling