function adjustHeight(eleId, exampleId) {
		var ele = document.getElementById(eleId);
		var example = document.getElementById(exampleId);
		var isIE = navigator.appName.indexOf("Microsoft") != -1;
		ele.style.height = String(example.clientHeight) + "px";
	}