How do you write the number #7.12 times 10^3# in standard notation?