function doResize()
{
	var lc = document.getElementById('hlLinks');
	var rc = document.getElementById('hlRechts');
	if (lc.offsetHeight > rc.offsetHeight) {
		rc.style.height = (lc.offsetHeight + 0) + 'px';
	} else {
		rc.style.height = (rc.offsetHeight + 0) + 'px';
	}

	document.getElementById('hlLinks').style.height = rc.style.height;
}