function sastipsLinks() {
  document.writeln('<a href="/dsshell"><img src="/dsshell/dsshell_icon.png" alt="DsShell icon" border="0"></a><br>');
  document.writeln('Download <a href="/dsshell">DsShell</a>, the SAS7BDAT shell extension, now');
  document.writeln('<br>---<br>');
  shareLink();
}