document.write (" 10718 ");