function swap(shell, show) {
  document.getElementById(shell).innerHTML=document.getElementById(show).innerHTML;
}

function showDocInfo () {
  swap('docInfoShell','docInfoHidden');
  swap('docInfoLink','hide');
}
            
function hideDocInfo () {
  swap('docInfoShell','empty');
  swap('docInfoLink','show');
}