function clearAll()
{
 document.getElementById('bottom1').style.color = '#aaaaaa';
 document.getElementById('bottom2').style.color = '#aaaaaa';
 document.getElementById('bottom3').style.color = '#aaaaaa';
}

function hilite(what)
{
 theID = "bottom" + what;
 document.getElementById(theID).style.color = '#ffffff';
}
function unhilite(what)
{
 theID = "bottom" + what;
 document.getElementById(theID).style.color = '#aaaaaa';
}