function toggle(elementID){
	var element = document.getElementById(elementID)
	if (element.style.display == 'none') {
		element.style.display = 'block';
	} else {
		element.style.display = 'none';
	}
}

function changeDest(elementID){
		var element = document.getElementById(elementID);
		destination = element.options[element.selectedIndex].value;
		if (destination) location.href = destination;
}