function stretchNav() {
	var lheight, bheight, rheight, height;
	if (document.getElementById("rightcol"))
		rheight = document.getElementById("rightcol").scrollHeight;
	if (document.getElementById("sc_content"))
		bheight = document.getElementById("sc_content").scrollHeight;
	if (document.getElementById("leftcol")) 
		lheight = document.getElementById("leftcol").scrollHeight;
	
	try {
		if (lheight < bheight || lheight < rheight)
		{
			if (bheight >= rheight)
				height = bheight;
			else
				height = rheight;
		}
		else
			height = lheight;
		document.getElementById("sc_content").style.height = height + 'px';
		document.getElementById("rightcol").style.height = height + 'px';
		document.getElementById("leftcol").style.height = height + 'px';
	}
	catch(e) {}		
}