(5^12)^3/5^37