document.write (" 42711 ");