How do you solve #lnx-ln3=4#?