Como é que se escreve 800?