diff -r 10074d1357ff -r ed38dd9bdb50 SEESenv/web/html/ch4strings_dicts.html
--- a/SEESenv/web/html/ch4strings_dicts.html	Mon Feb 22 22:38:51 2010 +0530
+++ b/SEESenv/web/html/ch4strings_dicts.html	Tue Feb 23 19:43:04 2010 +0530
@@ -27,7 +27,7 @@
     <dl>
      <dt>
       <span class="article">
-       <a href="#id2625574">
+       <a href="#id2691383">
         Strings
        </a>
       </span>
@@ -36,14 +36,14 @@
       <dl>
        <dt>
         <span class="section">
-         <a href="#id2624161">
+         <a href="#id2689970">
           1. String Formatting
          </a>
         </span>
        </dt>
        <dt>
         <span class="section">
-         <a href="#id2676578">
+         <a href="#id2742387">
           2. String Methods
          </a>
         </span>
@@ -52,7 +52,7 @@
         <dl>
          <dt>
           <span class="section">
-           <a href="#id2676592">
+           <a href="#id2742402">
             2.1.
             <span class="strong">
              <strong>
@@ -64,7 +64,7 @@
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2676623">
+           <a href="#id2742432">
             2.2.
             <span class="strong">
              <strong>
@@ -76,7 +76,7 @@
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2676661">
+           <a href="#id2742472">
             2.3.
             <span class="strong">
              <strong>
@@ -88,7 +88,7 @@
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2676688">
+           <a href="#id2742502">
             2.4.
             <span class="strong">
              <strong>
@@ -100,7 +100,7 @@
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2676744">
+           <a href="#id2742559">
             2.5.
             <span class="strong">
              <strong>
@@ -112,7 +112,7 @@
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2676803">
+           <a href="#id2742618">
             2.6.
             <span class="strong">
              <strong>
@@ -126,14 +126,14 @@
        </dd>
        <dt>
         <span class="section">
-         <a href="#id2676848">
+         <a href="#id2742662">
           3. Introduction to the standard library
          </a>
         </span>
        </dt>
        <dt>
         <span class="section">
-         <a href="#id2676924">
+         <a href="#id2742739">
           4. I/O: Reading and Writing Files
          </a>
         </span>
@@ -142,14 +142,14 @@
         <dl>
          <dt>
           <span class="section">
-           <a href="#id2676954">
+           <a href="#id2742769">
             4.1. Opening Files
            </a>
           </span>
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2676411">
+           <a href="#id2742943">
             4.2. Reading and Writing files
            </a>
           </span>
@@ -158,7 +158,7 @@
        </dd>
        <dt>
         <span class="section">
-         <a href="#id2677418">
+         <a href="#id2743108">
           5. Dictionaries
          </a>
         </span>
@@ -167,7 +167,7 @@
         <dl>
          <dt>
           <span class="section">
-           <a href="#id2677474">
+           <a href="#id2743164">
             5.1.
             <span class="strong">
              <strong>
@@ -179,7 +179,7 @@
          </dt>
          <dt>
           <span class="section">
-           <a href="#id2677539">
+           <a href="#id2743228">
             5.2. Dictionary Methods
            </a>
           </span>
@@ -195,7 +195,7 @@
      <div>
       <div>
        <h2 class="title">
-        <a name="id2625574">
+        <a name="id2691383">
         </a>
         Strings
        </h2>
@@ -212,14 +212,14 @@
      <dl>
       <dt>
        <span class="section">
-        <a href="#id2624161">
+        <a href="#id2689970">
          1. String Formatting
         </a>
        </span>
       </dt>
       <dt>
        <span class="section">
-        <a href="#id2676578">
+        <a href="#id2742387">
          2. String Methods
         </a>
        </span>
@@ -228,7 +228,7 @@
        <dl>
         <dt>
          <span class="section">
-          <a href="#id2676592">
+          <a href="#id2742402">
            2.1.
            <span class="strong">
             <strong>
@@ -240,7 +240,7 @@
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2676623">
+          <a href="#id2742432">
            2.2.
            <span class="strong">
             <strong>
@@ -252,7 +252,7 @@
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2676661">
+          <a href="#id2742472">
            2.3.
            <span class="strong">
             <strong>
@@ -264,7 +264,7 @@
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2676688">
+          <a href="#id2742502">
            2.4.
            <span class="strong">
             <strong>
@@ -276,7 +276,7 @@
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2676744">
+          <a href="#id2742559">
            2.5.
            <span class="strong">
             <strong>
@@ -288,7 +288,7 @@
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2676803">
+          <a href="#id2742618">
            2.6.
            <span class="strong">
             <strong>
@@ -302,14 +302,14 @@
       </dd>
       <dt>
        <span class="section">
-        <a href="#id2676848">
+        <a href="#id2742662">
          3. Introduction to the standard library
         </a>
        </span>
       </dt>
       <dt>
        <span class="section">
-        <a href="#id2676924">
+        <a href="#id2742739">
          4. I/O: Reading and Writing Files
         </a>
        </span>
@@ -318,14 +318,14 @@
        <dl>
         <dt>
          <span class="section">
-          <a href="#id2676954">
+          <a href="#id2742769">
            4.1. Opening Files
           </a>
          </span>
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2676411">
+          <a href="#id2742943">
            4.2. Reading and Writing files
           </a>
          </span>
@@ -334,7 +334,7 @@
       </dd>
       <dt>
        <span class="section">
-        <a href="#id2677418">
+        <a href="#id2743108">
          5. Dictionaries
         </a>
        </span>
@@ -343,7 +343,7 @@
        <dl>
         <dt>
          <span class="section">
-          <a href="#id2677474">
+          <a href="#id2743164">
            5.1.
            <span class="strong">
             <strong>
@@ -355,7 +355,7 @@
         </dt>
         <dt>
          <span class="section">
-          <a href="#id2677539">
+          <a href="#id2743228">
            5.2. Dictionary Methods
           </a>
          </span>
@@ -396,7 +396,7 @@
       <div>
        <div>
         <h2 class="title" style="clear: both">
-         <a name="id2624161">
+         <a name="id2689970">
          </a>
          1.String Formatting
         </h2>
@@ -456,7 +456,7 @@
       <div>
        <div>
         <h2 class="title" style="clear: both">
-         <a name="id2676578">
+         <a name="id2742387">
          </a>
          2.String Methods
         </h2>
@@ -473,7 +473,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676592">
+          <a name="id2742402">
           </a>
           2.1.
           <span class="strong">
@@ -510,7 +510,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676623">
+          <a name="id2742432">
           </a>
           2.2.
           <span class="strong">
@@ -559,7 +559,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676661">
+          <a name="id2742472">
           </a>
           2.3.
           <span class="strong">
@@ -593,7 +593,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676688">
+          <a name="id2742502">
           </a>
           2.4.
           <span class="strong">
@@ -660,7 +660,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676744">
+          <a name="id2742559">
           </a>
           2.5.
           <span class="strong">
@@ -723,7 +723,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676803">
+          <a name="id2742618">
           </a>
           2.6.
           <span class="strong">
@@ -772,7 +772,7 @@
       <div>
        <div>
         <h2 class="title" style="clear: both">
-         <a name="id2676848">
+         <a name="id2742662">
          </a>
          3.Introduction to the standard library
         </h2>
@@ -851,7 +851,7 @@
       <div>
        <div>
         <h2 class="title" style="clear: both">
-         <a name="id2676924">
+         <a name="id2742739">
          </a>
          4.I/O: Reading and Writing Files
         </h2>
@@ -882,7 +882,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676954">
+          <a name="id2742769">
           </a>
           4.1.Opening Files
          </h3>
@@ -1064,7 +1064,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2676411">
+          <a name="id2742943">
           </a>
           4.2.Reading and Writing files
          </h3>
@@ -1076,7 +1076,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2676420">
+           <a name="id2742952">
            </a>
            4.2.1.
            <span class="strong">
@@ -1123,7 +1123,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2676458">
+           <a name="id2742991">
            </a>
            4.2.2.
            <span class="strong">
@@ -1165,7 +1165,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2676493">
+           <a name="id2743026">
            </a>
            4.2.3.
            <span class="strong">
@@ -1231,7 +1231,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677395">
+           <a name="id2743084">
            </a>
            4.2.4.
            <span class="strong">
@@ -1259,7 +1259,7 @@
       <div>
        <div>
         <h2 class="title" style="clear: both">
-         <a name="id2677418">
+         <a name="id2743108">
          </a>
          5.Dictionaries
         </h2>
@@ -1323,7 +1323,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2677474">
+          <a name="id2743164">
           </a>
           5.1.
           <span class="strong">
@@ -1386,7 +1386,7 @@
        <div>
         <div>
          <h3 class="title">
-          <a name="id2677539">
+          <a name="id2743228">
           </a>
           5.2.Dictionary Methods
          </h3>
@@ -1398,7 +1398,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677547">
+           <a name="id2743237">
            </a>
            5.2.1.
            <span class="strong">
@@ -1447,7 +1447,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677582">
+           <a name="id2743272">
            </a>
            5.2.2.
            <span class="strong">
@@ -1480,7 +1480,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677613">
+           <a name="id2743303">
            </a>
            5.2.3.
            <span class="strong">
@@ -1537,7 +1537,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677651">
+           <a name="id2743341">
            </a>
            5.2.4.
            <span class="strong">
@@ -1582,7 +1582,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677681">
+           <a name="id2743371">
            </a>
            5.2.5.
            <span class="strong">
@@ -1628,7 +1628,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677715">
+           <a name="id2743405">
            </a>
            5.2.6.
            <span class="strong">
@@ -1672,7 +1672,7 @@
         <div>
          <div>
           <h4 class="title">
-           <a name="id2677751">
+           <a name="id2743440">
            </a>
            5.2.7.
            <span class="strong">