function fetchElement(name)
{	if (document.getElementById) 
	{	return document.getElementById(name);	} 
	else if (document.all)
	{	return document.all[name];	}
}
function refreshIFrame()
{	var clientHeight = document.documentElement.clientHeight;
	var leftcontent = document.getElementById("listings")
	if(clientHeight > 210)
	{	leftcontent.style.height = clientHeight - 210;
		var iframe = document.getElementById("IFrame");
		iframe.height = clientHeight - 210;
	}
}