function DetenerScroll1(){
   	if(ScrollEjecutandose1)			//solo lo detiene si esta en marcha
   		clearTimeout(ScrollID1)
	ScrollEjecutandose1 = false
}

function ScrollTexto1() {
	if (posicion1 == longitud1)		//ha llegado al final de la frase
		posicion1 = 0			//reinicializa para comenzar por el principio
	trozo1 = texto_scroll.substring(posicion1, longitud1)		//cada vez se muestra una letra menos...
	document.desplazamiento1.ventana1.value = trozo1		//...asi se produce el efecto scroll
	posicion1++
  	ScrollID1 = setTimeout("ScrollTexto1()", 200)			//para reescribir el texto cada 200 msg.
}

function IniciarScroll1() {
 	DetenerScroll1()			//no se debe iniciar si ya esta en marcha
   	ScrollEjecutandose1 = true
 	ScrollTexto1()
}