var visible_name = "";
function toggledetails(anchor_name)
{
   if(visible_name != '')
   {
      document.getElementById(visible_name + '_abstract').style.display='block';
      document.getElementById(visible_name + '_details').style.display='none';
   }
   document.getElementById(anchor_name + '_abstract').style.display='none';
   document.getElementById(anchor_name + '_details').style.display='block';
   visible_name = anchor_name;

   var pos = getAnchorPosition(anchor_name);
   self.scrollTo(pos.x, pos.y);
}