document.write (" 9840 ");