function fix_left_hren_height() {
	hren = document.getElementById('left_hren');
	if(hren.clientHeight < hren.parentNode.clientHeight) hren.style.height=hren.parentNode.clientHeight+"px";
}

function fix_all_height() {
	hren = document.getElementById('ALL');
	if(hren.clientHeight < 700) hren.style.height="700px";
	fix_left_hren_height();
}

// ================================================

addEvent(window, "load", fix_all_height);