function lightup(idnum) {
document.getElementById(idnum+'a').style.backgroundColor='#666666';
document.getElementById(idnum+'b').style.backgroundColor='#666666';
}

function lightout(idnum) {
document.getElementById(idnum+'a').style.backgroundColor='#5c5c5c';
document.getElementById(idnum+'b').style.backgroundColor='#5c5c5c';
}