function changeHeight(height)  {
	//alert('alert');
	document.getElementById('case_flashmenu').style.height = height + 'px';
	document.getElementById('wrapperCaseFlashMenu').style.height = height + 'px';
	//return 1;
}

function hideBreadcrumbs(flag) {
	if (flag) {
		document.getElementById('breadcrumbs_div').style.visibility = 'hidden';
	} else {
		document.getElementById('breadcrumbs_div').style.visibility = 'visible';
	}
}
