<!--
function norm(thisArea) {
	thisArea.style.background=buttonBgdCol;
	thisArea.style.color=buttonFontCol;
}
function highlight(thisArea) {
	thisArea.style.background=buttonFontCol;
	thisArea.style.color=buttonBgdCol;
}
function supplyRecordID(recordID) {
}
// -->