var ficheros_js = new Array ("scripts/manejo_capas.js","scripts/cargaswf.js","scripts/ajax.js","scripts/callbacks.js","scripts/player.js","scripts/google_maps.js","scripts/banners.js","scripts/contacto.js","scripts/misc.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);
}