document.write('6711 ');