function listado_banners_flash() {
var mis_banners = [
['flash/bienvenido_new2.swf','993','176']
];
return mis_banners;
}

function contador_banners_flash() {
var mi_contador = 1;
return mi_contador;
}