document.write (" 10717 ");