document.write("12094 ");