function highlightNode(node)
{
    var element = document.getElementById(node);
    if(element != null) {
        element.style.backgroundColor= '#fff';
        element.style.borderRight= '#fff 1px solid';}
}