function dynSizeAdjustImg(elmt1,elmt2,amount){
	var theImgContainer = document.getElementById(elmt1);
	var theImage = theImgContainer.getElementsByTagName('img');
	var newHeight = theImage[0].clientHeight-amount;
	var highlight = document.getElementById(elmt2);
	highlight.style.height = newHeight + "px";
}

function dynSizeAdjust(elmt1,elmt2,amount){
	var newHeight = (document.getElementById(elmt1).clientHeight)-amount;
	var highlight = document.getElementById(elmt2);
	highlight.style.height = newHeight + "px";
}