document.write(' 17943 ');