function stretchdiv() {
	var container = document.getElementById('panel-c-stretch');
	container.style.height = 'auto';
	var deltay = container.offsetHeight;
	container.style.height = deltay + "px";
}