function link_onmouseover(el) 
{
  el.style.color="Crimson";
  el.style.textDecoration="underline";
}


function link_onmouseout(el) 
{
  el.style.color="DarkBlue";
  el.style.textDecoration="";

}