fac 5^17+12^17