document.write (" 10716 ");