How do you solve ln(x-7)=2?