if(document.getElementById("right_panel"))
{
	contentHeight = document.getElementById("main_content").offsetHeight;
	rightPanelHeight = document.getElementById("right_panel").offsetHeight;
	if(contentHeight > rightPanelHeight)
	{
		document.getElementById("right_panel").style.height = document.getElementById("main_content").offsetHeight + "px";
		document.getElementById("right_panel_bottom").className = "extend";
	}
}