# HG changeset patch
# User webertj
# Date 1150739792 -7200
# Node ID ee3c4ec1d6528fa79f86dfb079ade1df2f412e12
# Parent  e34105dd441dca1e9431c810d64d3a1cca5bebfc
world map updated

diff -r e34105dd441d -r ee3c4ec1d652 Admin/website/world_map.html
--- 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>.
diff -r e34105dd441d -r ee3c4ec1d652 Admin/website/world_map_large.html
--- a/Admin/website/world_map_large.html	Mon Jun 19 19:17:48 2006 +0200
+++ b/Admin/website/world_map_large.html	Mon Jun 19 19:56:32 2006 +0200
@@ -36,6 +36,14 @@
         <area shape="rect" alt="" coords="348,297,387,336"   href="http://www.nongnu.org/isarmathlib/"                            onmouseover="return world_click(20);" onmouseout="return nd();" />
         <area shape="rect" alt="" coords="564,355,603,394"   nohref="nohref"                                                      onmouseover="return world_click(21);" onmouseout="return nd();" />
         <area shape="rect" alt="" coords="607,268,646,307"   href="http://www.cs.cmu.edu/"                                        onmouseover="return world_click(22);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="551,277,590,316"   href="http://www-faculty.cs.uiuc.edu/~egunter/"                        onmouseover="return world_click(23);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="963,426,1002,465"  href="http://www.univ-nkc.mr/"                                         onmouseover="return world_click(24);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="1416,834,1445,863" href="http://www.verisoft.de/"                                         onmouseover="return world_click(25);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="1481,840,1510,869" href="http://www.infosun.fmi.uni-passau.de/st/staff/wasserra/"         onmouseover="return world_click(26);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="1302,742,1331,771" href="http://www.inf.ed.ac.uk/"                                        onmouseover="return world_click(27);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="1828,211,1867,250" href="http://www.khstu.ru/"                                            onmouseover="return world_click(28);" onmouseout="return nd();" />
+	<area shape="rect" alt="" coords="653,250,692,289"   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="561,261,600,300"   href="http://www.cs.uchicago.edu/people/dbm"                           onmouseover="return world_click(30);" onmouseout="return nd();" />
 
     </map>