document.write(' 9000 ');