document.write (" 9873 ");