function ajusta_altura() {
	
	obj_0 = document.getElementById('fundo_barra'); <!--Div que vai ter a nova altura-->	
	obj_1 = document.getElementById('menu'); <!--Div que vai ter a nova altura-->
    obj_2 = document.getElementById('direita'); <!--Div com a altura que queremos-->
    altura_pri = parseInt(obj_2.offsetHeight) - 25 + 'px';
	obj_0.style.height = obj_1.style.height = altura_pri;
	
}


function ajusta_home() {
	
	obj_0 = document.getElementById('fundo_barra'); <!--Div que vai ter a nova altura-->	
	obj_1 = document.getElementById('menu'); <!--Div que vai ter a nova altura-->
    obj_2 = document.getElementById('direita'); <!--Div com a altura que queremos-->
    altura_pri = parseInt(obj_2.offsetHeight) - 25 + 'px';
	obj_0.style.height = obj_1.style.height = altura_pri;
	
}