(5^{\sqrt{3}})^{1266-k} \cdot (7^{\sqrt{2}})^{k}