A man goes 12 miles due east and then 9 miles due north. Calculate the distance travelled, if he takes the theoretically shortest path.