function fetchDirectory(directory) {
	opt = directory.selectedIndex
	page = "directories.php?bookname=" + directory.options[opt].value
	if (page != "") {
		window.location = page
	}
}

function fetchMap(directory) {
	opt = directory.selectedIndex
	page = "maps.php?bookname=" + directory.options[opt].value
	if (page != "") {
		window.location = page
	}
}

function fancyBorder(formelement) {
	formelement.style.borderStyle='solid'
	formelement.style.borderColor='navy'
	formelement.style.borderWidth='1px'
}

function plainBorder(formelement) {
	formelement.style.borderStyle='solid'
	formelement.style.borderColor='#007CC4'
	formelement.style.borderWidth='1px'
}