function seccion(seccion) {
	if (parent.menu) {
		parent.menu.location.replace('menu.php?seccion='+seccion);
	}
}