var fileExt = ".pdf";

function getCourseDescriptions() {
	
	// var discipline = document.getElementById("discipline").value;
	var dept = document.getElementById("depts").value;
	// url = "doc/CourseDescriptions/" + dept + " - CourseDescriptions" + fileExt; for 2009-2011
	url = "doc/11_13/CourseDescriptions/" + dept + " - CourseDescriptions" + fileExt;
	window.open(url);
}