function showLocID(loc) {
loc = document.getElementById(loc);
loc.style.borderColor='#003366';
loc.style.backgroundColor='#c1d0db';
}
function clearID(loc) {
loc = document.getElementById(loc);
loc.style.borderColor='#fff';
loc.style.backgroundColor='#fff';
}

function setID(loc) {
//	for (i=0; i<15; i++) {
//		clearID(i);
//	}
loc = document.getElementById(loc);
loc.style.borderColor='#003366';
loc.style.backgroundColor='#c1d0db';
}