document.write(' 20942 ');