document.write (" 10873 ");