document.write("6712 ");