document.write(' 17940 ');