document.write("9675 ");