function highlight(elid){
document.getElementById(elid).style.background = "#DFE8FF";
}


function noHighlight(elid){
document.getElementById(elid).style.background = "#FFFFFF";
}