function make_same_height(){
	var height =0;
	var divs = [];
	var num_divs = arguments.length;
	for(i = 0; i < num_divs; i++){
		divs[i] = document.getElementById(arguments[i]);
		if(height < divs[i].offsetHeight){
			height = divs[i].offsetHeight + 5;
		}
	}
	for(i = 0; i < num_divs; i++){
		divs[i].style.height = height + 'px';	
	}
}