// JScript File

function adjustDivHeight()
{
	try
	{
	    var mainHeight = document.getElementById('maindiv').clientHeight;
	    var rightHeight = document.getElementById('rightmenudiv').clientHeight;
	    
	    if(mainHeight < rightHeight)
	    {
	        document.getElementById('maindiv').style.height = rightHeight;
	    }
	}
	catch(err)
	{
	}
}