function setNavLength() {
	if (document.getElementById) {
		var body = document.getElementById( 'b-body-container' );
		var nav = document.getElementById( 'b-navigation' );
		nav.style.height = body.offsetHeight+6+"px";
	}
}