document.write (" 6711 ");