function show_ref( noteNum )
{
   var i;

   for ( i=top.frames.length-1; i >= 0; i-- )
   {
      if ( top.frames[i].name == "refs" )
      {
         top.frames[i].document.location.hash = "#note" + noteNum;
         break;
      }
   }
}