// This function is called when navigation is done through
// the dropdown select box.

function navigateDropdown(selectList) {
	baseURL = document.getElementById('dropdownBaseURL');
	if (baseURL == null) {
		baseURL = document.all('dropdownBaseURL');
	}
	if ( selectList.selectedIndex == 0 ) {
		return false;
	} else {
		location.href = baseURL.href + selectList.options[selectList.selectedIndex].value;
	}
}