How would you solve this one logarithmn problem?

u use ure calculator to find out ln 2 and ln 10,000. These are numbers. and thats how u get 13.3 as ure answer.

t = log_2(10000)
t = log(10000)/log(2)
t ≈ 13.2877

2^t = 10,000
t log 2 = log 10,000
t = log 10,000 / log 2
t = 13.3 (any log base may be used)

log(base-2)(10000)
log(base-2)(10^4)
4log(base-2)(10)
4((log(base-10)(10))/log(base-10)(2))
4(1/log(base-10)(2))
4/(log(base-10)(2))

Is the best I can simplify it.

EDIT: Or, murtaza's way is much, much better.

2^t = 10,000
tln2 = ln10,000

t = 13.3