function abreventana(url) {
	var ventana = window.open('http://' + url);
	ventana.focus();
	return false;
}

function abreflash(titulo, ancho, alto) {
	document.getElementById('titulo').value = titulo;
	document.getElementById('ancho').value = ancho;
	document.getElementById('alto').value = alto;
	var ventana_flash = window.open('flash.html',null,'width='+ancho+',height='+alto);
	ventana_flash.focus();
	return false;
}