--- a/Admin/website/world_map.html Mon Jun 19 19:17:48 2006 +0200
+++ b/Admin/website/world_map.html Mon Jun 19 19:56:32 2006 +0200
@@ -51,7 +51,8 @@
<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>
+ <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>.