// JavaScript Document
function setMinHeight(height_target, height_source){ 
	if (document.layers){
		//Netscape 4 specific code
		pre = 'document.';
		post = '';
		post2 = '';
		post3="px"
	}
	if (document.getElementById){
		//Netscape 6 specific code
		pre = 'document.getElementById("';
		post = '")';
		post2 = '").style';
		post3="px"
	}
	if (document.all){
		//IE4+ specific code
		pre = 'document.all.';
		post = '';
		post2 = '.style';
		post3="px"
	}
	oh_source=eval(pre+height_source+post);
	h_source=oh_source.offsetHeight-2; /* border*/
	
    oh_target=eval(pre+height_target+post);
	
	h_target=oh_target.offsetHeight;
	
	f_target = eval(pre+height_target+post2)
	
	if(h_source>h_target){
	  f_target.height=h_source+post3
	}
}