document.write('<table width="100%" border="0" align="center" cellpadding="2" cellspacing="0" bgcolor="#000000"><tr> <td valign="middle" width="7%"> <div align="center"><a href="index.html"><img src="../includes/logo.gif" alt="IOOS" width=40 height=42 border=0 vspace=4 align="top"></a></div></td><td width="93%"><div align="center"><table width="100%" border="0" align="center" cellpadding="2" cellspacing="2"><tr bgcolor="#000000"> <td><div align="center"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif" size="2"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="index.html"><font color="#FFFFFF" size="1"><font size="2">Integral Object Oriented Systems</font></font></a></font></font></font></font></font></div></td></tr><tr bgcolor="#0000FF"><td><div align="center"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="agenda.html"><font color="#FFFFFF" size="1">Agenda</font></a></font></font><font size="1"> | </font><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="links.html"><font color="#FFFFFF" size="1">Links</font></a></font></font><font size="1"> | </font><font size="1"> <font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="members.html"><font color="#FFFFFF">Members</font></a></font></font></font><font color="#FFFFCC" size="1"> </font> <font color="#FFFFCC" size="1">|</font><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="1"> </font><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="publications.html"><font color="#FFFFFF" size="1">Publications</font></a></font></font><font size="1"> | </font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="research.html"><font color="#FFFFFF">Research</font></a></font></font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"> | <a href="prototypes.html"><font color="#FFFFFF">Prototypes</font></a></font></font></font></font></font></div></td></tr> <tr bgcolor="#0000FF"> <td> <div align="center"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="vm.html"><font color="#FFFFFF" size="1">Virtual Machine</font></a></font></font><font size="1"> |</font><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font size="1"> </font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"><a href="so4.html"><font color="#FFFFFF">SO4 OS</font></a></font></font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"> | <a href="oodbms.html"><font color="#FFFFFF">OODBMS</font></a></font></font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"> | <a href="concurrency.html"><font color="#FFFFFF">Concurrency</font></a></font></font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"> | <a href="distribution.html"><font color="#FFFFFF">Distribution</font></a></font></font></font><font size="1"><font color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><font color="#FFFFCC"> | <a href="security.html"><font color="#FFFFFF">Security</font></a></font></font></font></div></td></tr></table><font size="2" color="#FFFFFF" face="Verdana, Arial, Helvetica, sans-serif"><b></b></font></div></td></tr> </table>')