document.write(' 10718 ');