function download_helpdesk() {
	itemval = document.getElementById("helpdesk_server");
	url = itemval[itemval.selectedIndex].value;
		
	// 2011-06-23 KR replaced window.location with window.open so underling page wouldn't reload (firing off slideshows automatically) after browser determined this was a download
	// window.location = url;
	window.open (url, "_blank");
}