How do you integrate 12x3dx?