document.write (" 10711 ");