// adds a text-link menu bar to the page if the page isn't in
// the navigation frameset
if (self == top) {
  nav = "<P align=right>"
        + "<A HREF='../'>asdg home</A> | "
        + "<A HREF='../news/'>news</A> | "
        + "<A HREF='../samples/'>samples</A> | "        
        + "<A HREF='../codedepot/'>codedepot</A> | "
        + "<A HREF='../technotes/'>technotes</A> | "
        + "<A HREF='../errata/'>errata</A> | "
        + "<A HREF='../reviews/'>reviews</A> | "
        + "<A HREF='../buy/'>buy</A>";
  document.write(nav);
}