function change_company($url) {
	document.location.href = $url + '?x_company_id=' +
		document.fo_quick_content.x_company_id.options[document.fo_quick_content.x_company_id.selectedIndex].value;
}