document.write (" 31717 ");