--- a/Admin/website/world_map.html Mon Jun 19 17:19:04 2006 +0200
+++ b/Admin/website/world_map.html Mon Jun 19 18:02:49 2006 +0200
@@ -44,7 +44,14 @@
<area shape="rect" alt="" coords="136,116,150,130" href="http://www.nongnu.org/isarmathlib/" onmouseover="return world_click(20);" onmouseout="return nd();" />
<area shape="rect" alt="" coords="220,139,234,153" nohref="nohref" onmouseover="return world_click(21);" onmouseout="return nd();" />
<area shape="rect" alt="" coords="236,105,250,119" href="http://www.cs.cmu.edu/" onmouseover="return world_click(22);" onmouseout="return nd();" />
- </map>
+ <area shape="rect" alt="" coords="213,109,228,124" href="http://www-faculty.cs.uiuc.edu/~egunter/" onmouseover="return world_click(23);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="374,167,388,181" href="http://www.univ-nkc.mr/" onmouseover="return world_click(24);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="551,324,561,334" href="http://www.verisoft.de/" onmouseover="return world_click(25);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="575,327,585,337" href="http://www.infosun.fmi.uni-passau.de/st/staff/wasserra/" onmouseover="return world_click(26);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="506,289,516,299" href="http://www.inf.ed.ac.uk/" onmouseover="return world_click(27);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="710,83,724,97" href="http://www.khstu.ru/" onmouseover="return world_click(28);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="254,98,268,112" href="http://www.cag.csail.mit.edu/~vkuncak/projects/jahob/index.html" onmouseover="return world_click(29);" onmouseout="return nd();" />
+ <area shape="rect" alt="" coords="218,102,232,116" href="http://www.cs.uchicago.edu/people/dbm" onmouseover="return world_click(30);" onmouseout="return nd();" /> </map>
</div>
<p>There is also a <a href="//world_map_large.html">larger version of this map</a>.