function activar (menu) {
document.getElementById('menubanderas').style.display='none';
document.getElementById('menumastiles').style.display='none';
document.getElementById('menuexterior').style.display='none';
document.getElementById('menuinterior').style.display='none';
document.getElementById(menu).style.display='block';
}