function enlightit ( menu ) {
    if (curmenu != menu)
	document.getElementById(menu).className = "boxes_en";
    else
	document.getElementById(menu).className = "boxes_cur_en";
}
function delightit ( menu ) {
    if (curmenu != menu)
	document.getElementById(menu).className = "boxes";
    else
	document.getElementById(menu).className = "boxes_cur";
}
function postmenu () {
    delightit (curmenu);
}




function old_enlightit ( menu ) {
    if (curmenu != menu)
	document.getElementById(menu).style.borderColor = "yellow";
}
function old_delightit ( menu ) {
    if (curmenu != menu)
	document.getElementById(menu).style.borderColor = "#bbaa88";
}
function old_postmenu () {
    document.getElementById(curmenu).style.borderColor = "yellow";
}