// JavaScript Document
function setBar() {
	var table = document.getElementById("TableHeight").offsetHeight;
	var col = document.getElementById("colRight");
	
	col.style.height = (table - 317) + "px";
}

setBar();