document.write(' 17142 ');