What is 6.27 divided by 1000?