document.write (" 9000 ");