function download_helpdesk() {
	itemval = document.getElementById("helpdesk_server");
	url = itemval[itemval.selectedIndex].value;
	window.location = url;
}