function setDiv1() {

var d1 = document.getElementById('context_white_bg')
var dh1 = d1.offsetHeight

var d2 = document.getElementById('menu_letters')
var dh2 = d2.offsetHeight

var d3 = document.getElementById('menu_other')
var dh3 = d3.offsetHeight

//var d4 = document.getElementById('top')
//var dh4 = d4.offsetHeight

//alert (dh4);

if (dh1 > (dh2 + dh3 + 30)) {
	var diff = dh1 - (dh2 + dh3);
	d3.style.height = dh3 + diff - 90 + 'px';
}

}