What is the antiderivative of (1/(2x))(12x)?