var fileExt = ".pdf";

function getCourseDescriptions() {
	
	// var discipline = document.getElementById("discipline").value;
	var dept = document.getElementById("depts").value;
	url = "doc/CourseDescriptions/" + dept + " - CourseDescriptions" + fileExt;
	window.location = url;
}