<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Perfect! Happy hacking.<div class=""><br class=""></div><div class="">/Tony</div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 30 jan 2015, at 16:11, Roelof Wobben <<a href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
  
    <meta content="text/html; charset=windows-1252" http-equiv="Content-Type" class="">
  
  <div bgcolor="#FFFFFF" text="#000000" class="">
    <div class="moz-cite-prefix">I read now the erlamg programming book.<br class="">
      <br class="">
      Roelof<br class="">
      <br class="">
      <br class="">
      <br class="">
      Tony Rogvall schreef op 30-1-2015 om 15:48:<br class="">
    </div>
    <blockquote cite="mid:F257CF67-5209-44D0-ADA8-0AC5C9B78789@rogvall.se" type="cite" class="">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252" class="">
      Hi Roelof!
      <div class=""><br class="">
      </div>
      <div class="">Have you ever thought about picking up a programming
        book?</div>
      <div class=""><br class="">
      </div>
      <div class="">There is a very good one that is free and you can
        read it online.</div>
      <div class=""><br class="">
      </div>
      <div class="">Here is a link: <a moz-do-not-send="true" href="http://learnyousomeerlang.com/content" class="">http://learnyousomeerlang.com/content</a></div>
      <div class=""><br class="">
      </div>
      <div class="">Have fun.</div>
      <div class=""><br class="">
      </div>
      <div class="">/Tony</div>
      <div class=""><br class="">
      </div>
      <div class=""><br class="">
        <div class="">
          <blockquote type="cite" class="">
            <div class="">On 30 jan 2015, at 08:15, Roelof Wobben <<a moz-do-not-send="true" href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>> wrote:</div>
            <br class="Apple-interchange-newline">
            <div class="">
              <div class="moz-cite-prefix" style="font-family:
                Helvetica; font-size: 12px; font-style: normal;
                font-variant: normal; font-weight: normal;
                letter-spacing: normal; line-height: normal; orphans:
                auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);">Rick Pettit
                schreef op 29-1-2015 om 22:49:<br class="">
              </div>
              <blockquote cite="mid:8EBFB5ED-2253-413B-B1BB-B13F020D2376@vailsys.com" type="cite" style="font-family: Helvetica; font-size:
                12px; font-style: normal; font-variant: normal;
                font-weight: normal; letter-spacing: normal;
                line-height: normal; orphans: auto; text-align: start;
                text-indent: 0px; text-transform: none; white-space:
                normal; widows: auto; word-spacing: 0px;
                -webkit-text-stroke-width: 0px; background-color:
                rgb(255, 255, 255);" class="">Roelof,
                <div class=""><br class="">
                </div>
                <div class="">You don’t need a variable if you don’t
                  care about the return value of the function you are
                  calling.</div>
                <div class=""><br class="">
                </div>
                <div class="">To be clear, your problem with the
                  badmatch is due to Db2 already having a value assigned
                  which is not equal to the atom ‘ok’.</div>
                <div class=""><br class="">
                </div>
                <div class="">Try this at the shell to see what that
                  value is:</div>
                <div class=""><br class="">
                </div>
                <div class="">   <span class="Apple-converted-space"> </span>Db2.
                     % don’t forget the period there</div>
                <div class=""><br class="">
                </div>
                <div class="">More than likely it is set to {ok}, which
                  is what you previously had db:destroy/1 returning.</div>
                <div class=""><br class="">
                </div>
                <div class="">Since erlang is a single-assignment
                  language, you cannot simply assign a different value
                  to Db2 once it is bound.</div>
                <div class=""><br class="">
                </div>
                <div class="">You *can* use syntax that appears just
                  like an assignment and have that work, provided the
                  value returned from the function matches exactly the
                  value currently bound to the variable on the left-hand
                  side of the “=“.</div>
                <div class=""><br class="">
                </div>
                <div class="">For example:</div>
                <div class=""><br class="">
                </div>
                <div class="">
                  <div class="" style="margin: 0px; font-size: 11px;
                    font-family: Menlo;">
                    <div class="" style="margin: 0px;">Erlang/OTP 17
                      [erts-6.2] [source] [64-bit] [smp:8:8]
                      [async-threads:10] [hipe] [kernel-poll:false]</div>
                    <div class="" style="margin: 0px; min-height: 13px;"><br class="">
                    </div>
                    <div class="" style="margin: 0px;">Eshell V6.2 
                      (abort with ^G)</div>
                    <div class="" style="margin: 0px;">1> Db2 = {ok}.</div>
                    <div class="" style="margin: 0px;">{ok}</div>
                    <div class="" style="margin: 0px;">2> Db2.</div>
                    <div class="" style="margin: 0px;">{ok}</div>
                    <div class="" style="margin: 0px;">3> Db2 = {ok}.</div>
                    <div class="" style="margin: 0px;">{ok}</div>
                    <div class="" style="margin: 0px;">4> Db2 = ok.</div>
                    <div class="" style="margin: 0px;">** exception
                      error: no match of right hand side value ok</div>
                    <div class="" style="margin: 0px;">5> Db2 = {ok}.</div>
                    <div class="" style="margin: 0px;">{ok}</div>
                    <div class="" style="margin: 0px;">6> f(Db2).</div>
                    <div class="" style="margin: 0px;">ok</div>
                    <div class="" style="margin: 0px;">7> Db2 = ok.</div>
                    <div class="" style="margin: 0px;">ok</div>
                    <div class="" style="margin: 0px;">8> Db2 = {ok}.</div>
                    <div class="" style="margin: 0px;">** exception
                      error: no match of right hand side value {ok}</div>
                    <div class="" style="margin: 0px;">9> Db2 = ok.</div>
                    <div class="" style="margin: 0px;">ok</div>
                    <div class=""><br class="">
                    </div>
                  </div>
                </div>
                <div class="">===</div>
                <div class=""><br class="">
                </div>
                <div class="">Here’s what’s going on there:</div>
                <div class=""><br class="">
                </div>
                <div class="">1. I bound the value {ok} to the variable
                  Db2</div>
                <div class=""><br class="">
                </div>
                <div class="">2. I check the value of Db2</div>
                <div class=""><br class="">
                </div>
                <div class="">3. I “assign” Db2 the same value — this
                  isn’t really an assignment now, it is a match, and in
                  this case both the left-hand side and right-hand side
                  have same value, so match succeeds</div>
                <div class=""><br class="">
                </div>
                <div class="">4. I attempt to assign Db2 a different
                  value—since Db2 was bound to {ok} and the right-hand
                  side now has ‘ok’, that match fails—thus the match
                  error</div>
                <div class=""><br class="">
                </div>
                <div class="">5. I “assign” Db2 the original value —
                  again, this isn’t really an assignment, it is a match,
                  which again succeeds for same reason as (3) above</div>
                <div class=""><br class="">
                </div>
                <div class="">6. I use the f() function at the shell to
                  “forget” about the value previously bound to Db2,
                  effectively making Db2 unbound to any value (and as
                  such it can now be assigned any value)</div>
                <div class=""><br class="">
                </div>
                <div class="">7. I assign a different value, this time
                  ‘ok’, to Db2 — no errors that time, because it was an
                  assignment, not a match</div>
                <div class=""><br class="">
                </div>
                <div class="">8. I attempt to match Db2 with the
                  previous value—and there’s that match error again</div>
                <div class=""><br class="">
                </div>
                <div class="">9. I “assign” Db2 the new value again—now
                  it is a match, and the match is good so no error</div>
                <div class=""><br class="">
                </div>
                <div class=""><br class="">
                </div>
                <div class="">Does that make sense now?</div>
                <div class=""><br class="">
                </div>
                <div class="">-Rick</div>
                <div class=""><br class="">
                  <div class="">
                    <blockquote type="cite" class="">
                      <div class="">On Jan 29, 2015, at 1:53 PM, Roelof
                        Wobben <<a moz-do-not-send="true" href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>>
                        wrote:</div>
                      <br class="Apple-interchange-newline">
                      <div class="">
                        <div bgcolor="#FFFFFF" text="#000000" class="">
                          <div class="moz-cite-prefix">I did some trail
                            and error and saw this :<br class="">
                            <br class="">
c(db).                                                                                                                                                                             
                            <div data-row="2" class="terminal-row">{ok,db}                                                                                                                                                                                </div>
                            <div data-row="3" class="terminal-row">14> Db1 = db:new().                                                                                                                                                                    </div>
                            <div data-row="4" class="terminal-row">[]                                                                                                                                                                                     </div>
                            <div data-row="5" class="terminal-row">15> Db2 = db:destroy(Db1).                                                                                                                                                             </div>
                            <div data-row="6" class="terminal-row">** exception error: no match of right hand side value ok                                                                                                                               </div>
                            <div data-row="7" class="terminal-row">16> db:destroy(Db1).                                                                                                                                                                   </div>
                            ok                 <span class="Apple-converted-space"> </span><br class="">
                            <br class="">
                            So it seems you do not have to use a
                            variable when destroying.<span class="Apple-converted-space"> </span><br class="">
                            <br class="">
                            Roelof<br class="">
                            <br class="">
                            <br class="">
                            <br class="">
                            Rick Pettit schreef op 29-1-2015 om 20:40:<br class="">
                          </div>
                          <blockquote cite="mid:20C06585-CD06-4404-9EB3-D5D5529580BD@vailsys.com" type="cite" class="">Oops, meant to add that
                            as for the exception error no match of right
                            hand side value ok, is it possible you
                            previously bound the variable Db2 at the
                            shell?
                            <div class=""><br class="">
                            </div>
                            <div class="">If so, then though what you
                              have appears to be an assignment, it is
                              actually a match, and one which has failed
                              because Db2 has been bound to a value
                              other than ‘ok’.</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">You can do the following if
                              you want the shell to “forget” about Db2’s
                              previous value, effectively unbinding it
                              and allowing for a subsequent assignment
                              to a different value:</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">   <span class="Apple-converted-space"> </span>f(Db2).</div>
                            <div class=""><br class="">
                            </div>
                            <div class="">-Rick</div>
                            <div class=""><br class="">
                              <div class="">
                                <blockquote type="cite" class="">
                                  <div class="">On Jan 29, 2015, at 1:38
                                    PM, Rick Pettit <<a moz-do-not-send="true" href="mailto:rpettit@vailsys.com" class="">rpettit@vailsys.com</a>>
                                    wrote:</div>
                                  <br class="Apple-interchange-newline">
                                  <div class="">
                                    <div class="" style="word-wrap:
                                      break-word; -webkit-nbsp-mode:
                                      space; -webkit-line-break:
                                      after-white-space;">Your
                                      db:destroy/1 function doesn’t use
                                      the parameter passed in—thus the
                                      error about ‘Db’ being unused.
                                      <div class=""><br class="">
                                      </div>
                                      <div class="">Since nothing is
                                        actually being “destroyed”
                                        there, you have a couple
                                        options:</div>
                                      <div class=""><br class="">
                                      </div>
                                      <div class=""> <span class="Apple-converted-space"> </span>(1)
                                        modify destroy so it takes no
                                        arguments (kind of
                                        pointless—might as well do away
                                        with the function altogether)</div>
                                      <div class=""><br class="">
                                      </div>
                                      <div class=""> <span class="Apple-converted-space"> </span>(2)
                                        rewrite the function head like
                                        so to inform the compiler you
                                        don’t care to use Db in the
                                        function body:</div>
                                      <div class=""><br class="">
                                      </div>
                                      <div class="">destroy(_Db) -></div>
                                      <div class=""> <span class="Apple-converted-space"> </span>ok.</div>
                                      <div class=""><br class="">
                                      </div>
                                      <div class=""><br class="">
                                      </div>
                                      <div class=""><br class="">
                                      </div>
                                      <div class="">-Rick</div>
                                      <div class=""><br class="">
                                        <div class="">
                                          <blockquote type="cite" class="">
                                            <div class="">On Jan 29,
                                              2015, at 1:25 PM, Roelof
                                              Wobben <<a moz-do-not-send="true" href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>>
                                              wrote:</div>
                                            <br class="Apple-interchange-newline">
                                            <div class="">
                                              <div class="moz-cite-prefix" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">Rick
                                                Pettit schreef op
                                                29-1-2015 om 20:16:<br class="">
                                              </div>
                                              <blockquote cite="mid:55690AB8-242D-4061-BC51-97846B0E76DB@vailsys.com" type="cite" class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">Comments
                                                inline below.
                                                <div class=""><br class="">
                                                </div>
                                                <div class="">-Rick</div>
                                                <div class=""><br class="">
                                                  <div class="">
                                                    <blockquote type="cite" class="">
                                                      <div class="">On
                                                        Jan 29, 2015, at
                                                        1:14 PM, Roelof
                                                        Wobben <<a moz-do-not-send="true" href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>> wrote:</div>
                                                      <br class="Apple-interchange-newline">
                                                      <div class="">
                                                        <div bgcolor="#FFFFFF" text="#000000" class="">
                                                          <div class="moz-cite-prefix"><a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:e@bestmx.net">e@bestmx.net</a><span class="Apple-converted-space"> </span>schreef op 29-1-2015 om 20:06:<br class="">
                                                          </div>
                                                          <blockquote cite="mid:54CA84BD.6090908@bestmx.net" type="cite" class="">
                                                          <blockquote type="cite" class="">So i
                                                          have to make a
                                                          tuple of the
                                                          data and add
                                                          it in a list.<span class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          I thought I
                                                          could do
                                                          something like
                                                          this :<span class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          write(Key,
                                                          Data, Db)
                                                          -><span class="Apple-converted-space"> </span><br class="">
                                                            <span class="Apple-converted-space"> </span>[
                                                          {key, data} |
                                                          Db ]<span class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          but then I see
                                                          some error
                                                          messages.<span class="Apple-converted-space"> </span><br class="">
                                                          </blockquote>
                                                          <br class="">
                                                          what messages?<span class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          as far as i
                                                          can _theorize_<span class="Apple-converted-space"> </span><br class="">
                                                          the most
                                                          probably your
                                                          Db is not a
                                                          list, and it
                                                          should be.<span class="Apple-converted-space"> </span><br class="">
_______________________________________________<span class="Apple-converted-space"> </span><br class="">
                                                          erlang-questions
                                                          mailing list<span class="Apple-converted-space"> </span><br class="">
                                                          <a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><span class="Apple-converted-space"> </span><br class="">
                                                          <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><span class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          </blockquote>
                                                          <br class="">
                                                          Here is my
                                                          code so far :<span class="Apple-converted-space"> </span><br class="">
                                                          <br class="">
                                                          -module(db).<br class="">
                                                          <br class="">
                                                          -export([new/0,
                                                          destroy/1]).<br class="">
                                                          <br class="">
                                                          new() -><br class="">
                                                           <span class="Apple-converted-space"> </span>[].<br class="">
                                                          <br class="">
                                                          destroy(Db)
                                                          -><br class="">
                                                           <span class="Apple-converted-space"> </span>{ok}.<br class="">
                                                        </div>
                                                      </div>
                                                    </blockquote>
                                                    <div class=""><br class="">
                                                    </div>
                                                    <div class="">Why
                                                      are you returning
                                                      a tuple here
                                                      instead of simply
                                                      ‘ok’ ?</div>
                                                    <br class="">
                                                  </div>
                                                </div>
                                              </blockquote>
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">Because
                                                of this output :<span class="Apple-converted-space"> </span></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <div data-row="1" class="terminal-row" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">10> c(db).                                                                                                                                                                             </div>
                                              <div data-row="2" class="terminal-row" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">db.erl:8: Warning: variable 'Db' is unused                                                                                                                                             </div>
                                              <div data-row="3" class="terminal-row" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">{ok,db}                                                                                                                                                                                </div>
                                              <div data-row="4" class="terminal-row" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">11> Db1 = db:new().                                                                                                                                                                    </div>
                                              <div data-row="5" class="terminal-row" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">[]                                                                                                                                                                                     </div>
                                              <div data-row="6" class="terminal-row" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">12> Db2 = db:destroy(Db1).                                                                                                                                                             </div>
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">** exception error: no match of right hand side value ok         <span class="Apple-converted-space"> </span></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">When
                                                I do this :<span class="Apple-converted-space"> </span></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">-module(db).</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">-export([new/0,
                                                destroy/1, write/3]).</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">new()
                                                -></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;"> <span class="Apple-converted-space"> </span>[].</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">destroy(Db)
                                                -></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;"> <span class="Apple-converted-space"> </span>ok.</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">write(Key,
                                                Element, Db) -></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">  <span class="Apple-converted-space"> </span>[ {Key, Element} | Db ].<span class="Apple-converted-space"> </span></span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">Roelof</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">_______________________________________________</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <span class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);
                                                float: none; display:
                                                inline !important;">erlang-questions
                                                mailing list</span><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <a moz-do-not-send="true" href="mailto:erlang-questions@erlang.org" class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">erlang-questions@erlang.org</a><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                              <a moz-do-not-send="true" href="http://erlang.org/mailman/listinfo/erlang-questions" class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">http://erlang.org/mailman/listinfo/erlang-questions</a><br class="" style="font-family:
                                                Helvetica; font-size:
                                                12px; font-style:
                                                normal; font-variant:
                                                normal; font-weight:
                                                normal; letter-spacing:
                                                normal; line-height:
                                                normal; orphans: auto;
                                                text-align: start;
                                                text-indent: 0px;
                                                text-transform: none;
                                                white-space: normal;
                                                widows: auto;
                                                word-spacing: 0px;
                                                -webkit-text-stroke-width:
                                                0px; background-color:
                                                rgb(255, 255, 255);">
                                            </div>
                                          </blockquote>
                                        </div>
                                        <br class="">
                                      </div>
                                    </div>
                                  </div>
                                </blockquote>
                              </div>
                              <br class="">
                            </div>
                          </blockquote>
                          <br class="">
                        </div>
                        _______________________________________________<br class="">
                        erlang-questions mailing list<br class="">
                        <a moz-do-not-send="true" href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br class="">
                        <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><br class="">
                      </div>
                    </blockquote>
                  </div>
                  <br class="">
                </div>
              </blockquote>
              <br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <span style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255); float: none;
                display: inline !important;" class="">Thanks all, this
                problem is also solved.</span><br style="font-family:
                Helvetica; font-size: 12px; font-style: normal;
                font-variant: normal; font-weight: normal;
                letter-spacing: normal; line-height: normal; orphans:
                auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <span style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255); float: none;
                display: inline !important;" class="">Roelof</span><br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <span style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255); float: none;
                display: inline !important;" class="">_______________________________________________</span><br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <span style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255); float: none;
                display: inline !important;" class="">erlang-questions
                mailing list</span><br style="font-family: Helvetica;
                font-size: 12px; font-style: normal; font-variant:
                normal; font-weight: normal; letter-spacing: normal;
                line-height: normal; orphans: auto; text-align: start;
                text-indent: 0px; text-transform: none; white-space:
                normal; widows: auto; word-spacing: 0px;
                -webkit-text-stroke-width: 0px; background-color:
                rgb(255, 255, 255);" class="">
              <a moz-do-not-send="true" href="mailto:erlang-questions@erlang.org" style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">erlang-questions@erlang.org</a><br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
              <a moz-do-not-send="true" href="http://erlang.org/mailman/listinfo/erlang-questions" style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">http://erlang.org/mailman/listinfo/erlang-questions</a><br style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                background-color: rgb(255, 255, 255);" class="">
            </div>
          </blockquote>
        </div>
        <br class="">
      </div>
    </blockquote>
    <br class="">
  </div>

_______________________________________________<br class="">erlang-questions mailing list<br class=""><a href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br class="">http://erlang.org/mailman/listinfo/erlang-questions<br class=""></div></blockquote></div><br class=""></div></body></html>