function show()
  {
  if(document.getElementById)
    {
    tabler = document.getElementById('table');
    if(tabler.style.display=="none")
      {
      document.getElementById('plus').innerHTML = 'Hide the full readme file';
      tabler.style.display="";
      }
    else
      {
      document.getElementById('plus').innerHTML = 'Show the full readme file';
      tabler.style.display="none";
      }
    } 
  }