document.write("3842 ");