document.write("3920 ");