/* Resets a <select> dropdown to its default value
 * e should be a <select> element
 */
function setDefaultOption(e) { 
	e.options[0].selected = true;
}