var leftnav = document.getElementById("leftnav");
if (leftnav) {
	var contentmain = document.getElementById("contentmain");
	if (contentmain) {
		if (leftnav.offsetHeight < contentmain.offsetHeight) {
			leftnav.style.height = contentmain.offsetHeight + 'px';
		}
	}
}
var rightnav = document.getElementById("rightnav");
if (rightnav) {
	var content = document.getElementById("content");
	if (content) {
		if (rightnav.offsetHeight < content.offsetHeight) {
			rightnav.style.height = content.offsetHeight + 'px';
		}
	}
}