①、(4+√17)^2012 x (4x√17)^2012