function pr(n) {document.write(n,"\n");}
pr("<P ALIGN=center><B>")
pr("<FONT SIZE=-1>")
pr("<A HREF=#introduction>introduction</A> &nbsp; ")
pr("<A HREF=#systems>systems</A> &nbsp; ")
pr("<A HREF=#computer_systems>computer systems</A> &nbsp; ")
pr("<A HREF=#ant_colony>ant colony</A> &nbsp; ")
pr("<A HREF=#interlude>interlude</A> &nbsp; ")
pr("<A HREF=#self_reference>self-reference</A> &nbsp; ")
pr("<A HREF=#mozart>mozart</A> &nbsp; ")
pr("<A HREF=#conclusions>conclusions</A></FONT>")
pr("</B></P>")