document.write("4094 ");