<HTML>
<script>
if (parent.state == 1) {
   document.write('<FRAMESET COLS="30%,70%"> <FRAME SRC="toc.html" NAME="toc"> <FRAME SRC="introd.html" NAME="display"> </FRAMESET>')
}
else if (parent.state == 3) {
   document.write('<FRAMESET COLS="30%,70%"> <FRAME SRC="alpha.html" NAME="toc"> <FRAME SRC="introd.html" NAME="display"> </FRAMESET>')
}
</script>

</HTML>
