document.write(' 20842 ');