document.write(' 3922 ');