document.write(' 3882 ');