function resizeNodeWidget(key, height) {
	var lheight = $('widgetcolleft').offsetHeight;
	var rheight = $('widgetcolright').offsetHeight;
	var height = lheight;
	if (lheight < rheight) {
		height = rheight;
	}

	if (height < 425) {
		height = 425;
	}

	var headerheight = $(key+'header').offsetHeight;
	$(key+'div').style.height = height +"px";
	$(key+'innerbody').style.height = height-headerheight-20 +"px"; //54
	$(key+'body').style.height = height-headerheight-46 +"px";
}