function overPR(arg) 
{  el = document.getElementById(arg); 
   el.style.color = "#444444"; 
   return true;   
} 

function outPR(arg) 
{  el = document.getElementById(arg); 
   el.style.color = "#B2B2B2";   
   return true;
}