document.write("6912 ");