function setDivHeight(tableToChange, tableFromChange, valor){
	var navegador = navigator.appName 
	if (navegador != "Microsoft Internet Explorer") {
		document.getElementById(tableToChange).style.height = document.getElementById(tableFromChange).offsetHeight - valor + 'px';	
	}
}