How do you solve tan(38)=x/12?