document.write("3140 ");