onload=function abc() 
{
	try
	{
		var rechts = document.getElementById('rechts');
		var divh = rechts.offsetHeight;
		var bordersetc = 0;
		var target = document.getElementById('links');
		target.style.height = ( divh+bordersetc ) + "px";
	}
	catch(e)
	{

	}
}