document.write("3812 ");