function boxOver (id)
{
    var o = document.getElementById (id);
    if (o == null)
        return;
        
    o.style.border = 'solid 1px #394198';
}

function boxOut (id)
{
    var o = document.getElementById (id);
    if (o == null)
        return;
        
    o.style.border = 'solid 1px #cdcdcd';
}