document.write("3094 ");