sideMenuStart();
document.write('<a href="'+rtf+'collaborations/index.html"><font size="3">Collaborations</font></a><br>');
document.write('<a href="http://www.innovantage.co.uk/" target="new">Innovantage</a><br>');
document.write('<a href="../gate/index.html">GATE</a><br>');
document.write('<a href="http://www.openrdf.org/" target="new">Sesame</a><br>');
document.write('<a href="../istworld.html">IST World</a><br>');
sideMenuEnd();