document.write(' 3920 ');