// JavaScript Document

function extraiScript(texto) {
    var ini=0;
	while (ini != -1) {
		ini = texto.indexOf("<script", ini);
		if (ini >= 0) {
			ini = texto.indexOf(">", ini) + 1;
			var fim = texto.indexOf('</script>', ini);
			codigo = texto.substring(ini,fim);
			novo = document.createElement("script");
			novo.text = codigo;
			document.body.appendChild(novo);
		}
	}
}