function highlight(elem)
{
    if (elem)
    {
        elem.style.cursor='pointer';
        elem.style.backgroundColor='#dfe4e7';
        elem.style.border='solid thin #8996a0';
    }
}
function unhighlight(elem)
{
    if (elem)
    {
        elem.style.backgroundColor='';
        elem.style.border='solid thin #fff';
    }
}