function select(entry) {
	document.form1.id.value = entry;
	document.form1.submit();
}

function highlight(aCell) {
	aCell.parentNode.parentNode.className = "highlighted";
}
 
function removeHighlight(aCell) {
	aCell.parentNode.parentNode.className = "";
}

function adjustImage(anImage) {
	if(anImage.width > 675){
		anImage.width = 675;
	}
}