function old_option_border(l_objID){
    document.getElementById(l_objID).style.border="#FFF2CE solid 1px";
}

function new_option_border(l_objID){
    document.getElementById(l_objID).style.border="#BD2408 solid 1px";
}