What is 5^12/ 5^7