document.write("3900 ");