function mostrar(mydiv) {
	ocultarTodo()
	document.getElementById(mydiv).style.visibility = "visible";
}
function ocultar(mydiv) {
	document.getElementById(mydiv).style.visibility = "hidden";
}
function ocultarTodo() {
	ocultar('festival2');
	ocultar('programa2');
	ocultar('secciones2');
	ocultar('bases2');
	ocultar('prensa2');
	ocultar('galeria2');
}
function ocultarArchivos() {
	ocultar('arch2009');
}