function highlight_it(js_id)
   {
    document.getElementById(js_id).style.backgroundColor='#c7a4c3';
//    document.getElementById(js_id).style.fontStyle='italic';
   }