What is the isotopic abundance of ""^25Mg?