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

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

function openWindow(theURL) { 
  window.open(theURL,'','width=360,height=606');return true;
}