How do you write 10^3 = 1000 in log form?