document.write("3870 ");