if(self == top) {
   document.writeln('<FRAMESET cols="160,*" border="0">');
   document.writeln('<FRAME SRC="toc.html"name="tocframe" scrolling="no" noresize>');
   document.writeln('<FRAME SRC="#" name="content_frame">');
   document.writeln('</FRAMESET>');
}