function getInstructors(instID)
{	
	var elem = document.getElementById('details[courseID]');
	
	x_getInstructors(elem.options[elem.selectedIndex].value, instID, inst_cb);	
}
function inst_cb(output)
{
	document.getElementById('instDiv').innerHTML = output;	
}