// JavaScript Document
var widgets = document.getElementById("widgets");
var content = document.getElementById("content");
var cont = document.getElementById("cont");
var ads = document.getElementById("ads");

	if(widgets.offsetHeight < content.offsetHeight)
	{
		widgets.style.height = (content.offsetHeight) + "px";
	}
	else
	{
		content.style.height = (widgets.offsetHeight) + "px";
	}

if(ads != null) 
{
	if(ads.offsetHeight < cont.offsetHeight) 
	{
		ads.style.height = (cont.offsetHeight - 48) + "px";
	}
	
	if(ads.offsetHeight < widgets.offsetHeight) 
	{
		ads.style.height = (widgets.offsetHeight - 45) + "px";
		
	}
}