Paul drove six miles. Ann drove seven miles. How many miles did they drive in all?