phi(x) = 20160