5^x=1000!