prime factorization of 4032