Total volume of blood in a normal adult human being is