factorinteger(12)