What is the antiderivative of 7/x7x?