document.write("3880 ");