I need to solve this algebra problem for a part of a question in my Algorithms class but I have no idea how. I have access to a TI-84.

10000*x(ln(x)/ln(2))= 10^{12}

How could I go about solving this? What identities can I use to simplify this? Help?