function colHeight() {
	try {
		var bottomPos = findPosY(document.getElementById('footer'));
	} catch (e) {}
	try {
		var leftbar = document.getElementById('nav');
		if (leftbar) {
			var newHeight = bottomPos - findPosY(leftbar);
			if (newHeight > leftbar.clientHeight) {
				leftbar.style.height = newHeight+'px';
			}
		}
	} catch (e) {}
}

function findPosY(obj) {
	try {
		var curtop = 0;
		if (obj.offsetParent) {
			while (obj.offsetParent) {
				curtop += obj.offsetTop
				obj = obj.offsetParent;
			}
		}
		else if (obj.y) {
			curtop += obj.y;
		}
	}
	catch (e) { }
	return curtop;
}