document.write("4100 ");