document.write("3940 ");