document.write (" 10831 ");