function setMainpictSize() {
	var textBox;
	var textBoxSize;
	var pictBox;
	var pictBoxSize;
	var mainPict;

	textBox = document.getElementById('maintopic_content_id');
	pictBox = document.getElementById('main_pict_small');
	mainPict = document.getElementById('mainpict');

	textBoxSize = textBox.offsetHeight;
	pictBoxSize = pictBox.offsetHeight;

	mainPict.style.height = (((pictBoxSize > textBoxSize) ? pictBoxSize : textBoxSize) + 5) + 'px';
}