已知鲜磨菇经晒后失去原质量85%,则20千克干磨菇是由多少千克鲜菇晒成的