var ficheros_js = new Array ("scripts/mouse.js","scripts/tooltip.js","scripts/epoch/epoch_classes.js","scripts/ajax.js","scripts/callbacks.js","scripts/imagenes.js","scripts/videos.js","scripts/manejo_tablas.js","scripts/manejo_capas.js","scripts/cargaswf.js","scripts/misc.js","scripts/google_maps.js","scripts/municipios.js","scripts/callbacks_publique_su_credito.js");

var head = document.getElementById ("head");

for (a=0; a<ficheros_js.length; a++)
{
	etiqueta_script = document.createElement ("script");
	
	etiqueta_script.src = ficheros_js [a];
	
	head.appendChild (etiqueta_script);
}