document.write("6711 ");