function swap(x) {
    x.style.borderColor = '#5C7409';
	x.style.backgroundColor = '#ffffff';
    x.style.color = '#000000';
}
function swapback(x) {
    x.style.borderColor = '#856400';
	x.style.backgroundColor = '#EEEFE0';
    x.style.color = '#856400';
}