document.write(' 3942 ');