/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to plugins.d/password-request.xml

  • Committer: Teddy Hogeborn
  • Date: 2008-09-03 13:59:58 UTC
  • Revision ID: teddy@fukt.bsnet.se-20080903135958-k0he2xucqmx7nz4b
* plugins.d/password-request.xml (OPTIONS): Improved wording.
  (FILES): Add text about public and secret key files.
  (BUGS): Commented out.
  (EXAMPLE): Added examples.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
<?xml version="1.0" encoding="UTF-8"?>
2
2
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
3
3
        "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
4
 
<!ENTITY COMMANDNAME "mandos-client">
5
 
<!ENTITY TIMESTAMP "2011-08-08">
6
 
<!ENTITY % common SYSTEM "../common.ent">
7
 
%common;
 
4
<!ENTITY VERSION "1.0">
 
5
<!ENTITY COMMANDNAME "password-request">
 
6
<!ENTITY TIMESTAMP "2008-09-03">
8
7
]>
9
8
 
10
9
<refentry xmlns:xi="http://www.w3.org/2001/XInclude">
11
10
  <refentryinfo>
12
11
    <title>Mandos Manual</title>
13
 
    <!-- NWalsh’s docbook scripts use this to generate the footer: -->
 
12
    <!-- Nwalsh’s docbook scripts use this to generate the footer: -->
14
13
    <productname>Mandos</productname>
15
 
    <productnumber>&version;</productnumber>
 
14
    <productnumber>&VERSION;</productnumber>
16
15
    <date>&TIMESTAMP;</date>
17
16
    <authorgroup>
18
17
      <author>
32
31
    </authorgroup>
33
32
    <copyright>
34
33
      <year>2008</year>
35
 
      <year>2009</year>
36
 
      <year>2011</year>
37
34
      <holder>Teddy Hogeborn</holder>
38
35
      <holder>Björn Påhlsson</holder>
39
36
    </copyright>
40
37
    <xi:include href="../legalnotice.xml"/>
41
38
  </refentryinfo>
42
 
  
 
39
 
43
40
  <refmeta>
44
41
    <refentrytitle>&COMMANDNAME;</refentrytitle>
45
42
    <manvolnum>8mandos</manvolnum>
48
45
  <refnamediv>
49
46
    <refname><command>&COMMANDNAME;</command></refname>
50
47
    <refpurpose>
51
 
      Client for <application>Mandos</application>
 
48
      Client for mandos
52
49
    </refpurpose>
53
50
  </refnamediv>
54
 
  
 
51
 
55
52
  <refsynopsisdiv>
56
53
    <cmdsynopsis>
57
54
      <command>&COMMANDNAME;</command>
58
55
      <group>
59
56
        <arg choice="plain"><option>--connect
60
 
        <replaceable>ADDRESS</replaceable><literal>:</literal
 
57
        <replaceable>IPADDR</replaceable><literal>:</literal
61
58
        ><replaceable>PORT</replaceable></option></arg>
62
59
        <arg choice="plain"><option>-c
63
 
        <replaceable>ADDRESS</replaceable><literal>:</literal
 
60
        <replaceable>IPADDR</replaceable><literal>:</literal
64
61
        ><replaceable>PORT</replaceable></option></arg>
65
62
      </group>
66
63
      <sbr/>
67
64
      <group>
 
65
        <arg choice="plain"><option>--keydir
 
66
        <replaceable>DIRECTORY</replaceable></option></arg>
 
67
        <arg choice="plain"><option>-d
 
68
        <replaceable>DIRECTORY</replaceable></option></arg>
 
69
      </group>
 
70
      <sbr/>
 
71
      <group>
68
72
        <arg choice="plain"><option>--interface
69
73
        <replaceable>NAME</replaceable></option></arg>
70
74
        <arg choice="plain"><option>-i
94
98
      </arg>
95
99
      <sbr/>
96
100
      <arg>
97
 
        <option>--delay <replaceable>SECONDS</replaceable></option>
98
 
      </arg>
99
 
      <sbr/>
100
 
      <arg>
101
 
        <option>--retry <replaceable>SECONDS</replaceable></option>
102
 
      </arg>
103
 
      <sbr/>
104
 
      <arg>
105
101
        <option>--debug</option>
106
102
      </arg>
107
103
    </cmdsynopsis>
124
120
      </group>
125
121
    </cmdsynopsis>
126
122
  </refsynopsisdiv>
127
 
  
 
123
 
128
124
  <refsect1 id="description">
129
125
    <title>DESCRIPTION</title>
130
126
    <para>
131
127
      <command>&COMMANDNAME;</command> is a client program that
132
128
      communicates with <citerefentry><refentrytitle
133
129
      >mandos</refentrytitle><manvolnum>8</manvolnum></citerefentry>
134
 
      to get a password.  In slightly more detail, this client program
135
 
      brings up a network interface, uses the interface’s IPv6
136
 
      link-local address to get network connectivity, uses Zeroconf to
137
 
      find servers on the local network, and communicates with servers
138
 
      using TLS with an OpenPGP key to ensure authenticity and
139
 
      confidentiality.  This client program keeps running, trying all
140
 
      servers on the network, until it receives a satisfactory reply
141
 
      or a TERM signal.  After all servers have been tried, all
142
 
      servers are periodically retried.  If no servers are found it
143
 
      will wait indefinitely for new servers to appear.
 
130
      to get a password.  It uses IPv6 link-local addresses to get
 
131
      network connectivity, Zeroconf to find servers, and TLS with an
 
132
      OpenPGP key to ensure authenticity and confidentiality.  It
 
133
      keeps running, trying all servers on the network, until it
 
134
      receives a satisfactory reply or a TERM signal is recieved.
144
135
    </para>
145
136
    <para>
146
137
      This program is not meant to be run directly; it is really meant
200
191
      </varlistentry>
201
192
      
202
193
      <varlistentry>
203
 
        <term><option>--interface=<replaceable
204
 
        >NAME</replaceable></option></term>
 
194
        <term><option>--keydir=<replaceable
 
195
        >DIRECTORY</replaceable></option></term>
 
196
        <term><option>-d
 
197
        <replaceable>DIRECTORY</replaceable></option></term>
 
198
        <listitem>
 
199
          <para>
 
200
            Directory to read the OpenPGP key files
 
201
            <filename>pubkey.txt</filename> and
 
202
            <filename>seckey.txt</filename> from.  The default is
 
203
            <filename>/conf/conf.d/mandos</filename> (in the initial
 
204
            <acronym>RAM</acronym> disk environment).
 
205
          </para>
 
206
        </listitem>
 
207
      </varlistentry>
 
208
 
 
209
      <varlistentry>
 
210
        <term><option>--interface=
 
211
        <replaceable>NAME</replaceable></option></term>
205
212
        <term><option>-i
206
213
        <replaceable>NAME</replaceable></option></term>
207
214
        <listitem>
208
215
          <para>
209
216
            Network interface that will be brought up and scanned for
210
 
            Mandos servers to connect to.  The default is the empty
211
 
            string, which will automatically choose an appropriate
212
 
            interface.
 
217
            Mandos servers to connect to.  The default it
 
218
            <quote><literal>eth0</literal></quote>.
213
219
          </para>
214
220
          <para>
215
221
            If the <option>--connect</option> option is used, this
216
222
            specifies the interface to use to connect to the address
217
223
            given.
218
224
          </para>
219
 
          <para>
220
 
            Note that since this program will normally run in the
221
 
            initial RAM disk environment, the interface must be an
222
 
            interface which exists at that stage.  Thus, the interface
223
 
            can not be a pseudo-interface such as <quote>br0</quote>
224
 
            or <quote>tun0</quote>; such interfaces will not exist
225
 
            until much later in the boot process, and can not be used
226
 
            by this program.
227
 
          </para>
228
 
          <para>
229
 
            <replaceable>NAME</replaceable> can be the string
230
 
            <quote><literal>none</literal></quote>; this will not use
231
 
            any specific interface, and will not bring up an interface
232
 
            on startup.  This is not recommended, and only meant for
233
 
            advanced users.
234
 
          </para>
235
225
        </listitem>
236
226
      </varlistentry>
237
227
      
242
232
        <replaceable>FILE</replaceable></option></term>
243
233
        <listitem>
244
234
          <para>
245
 
            OpenPGP public key file name.  The default name is
246
 
            <quote><filename>/conf/conf.d/mandos/pubkey.txt</filename
247
 
            ></quote>.
 
235
            OpenPGP public key file base name.  This will be combined
 
236
            with the directory from the <option>--keydir</option>
 
237
            option to form an absolute file name.  The default name is
 
238
            <quote><literal>pubkey.txt</literal></quote>.
248
239
          </para>
249
240
        </listitem>
250
241
      </varlistentry>
251
 
      
 
242
 
252
243
      <varlistentry>
253
244
        <term><option>--seckey=<replaceable
254
245
        >FILE</replaceable></option></term>
256
247
        <replaceable>FILE</replaceable></option></term>
257
248
        <listitem>
258
249
          <para>
259
 
            OpenPGP secret key file name.  The default name is
260
 
            <quote><filename>/conf/conf.d/mandos/seckey.txt</filename
261
 
            ></quote>.
 
250
            OpenPGP secret key file base name.  This will be combined
 
251
            with the directory from the <option>--keydir</option>
 
252
            option to form an absolute file name.  The default name is
 
253
            <quote><literal>seckey.txt</literal></quote>.
262
254
          </para>
263
255
        </listitem>
264
256
      </varlistentry>
271
263
                      xpointer="priority"/>
272
264
        </listitem>
273
265
      </varlistentry>
274
 
      
 
266
 
275
267
      <varlistentry>
276
268
        <term><option>--dh-bits=<replaceable
277
269
        >BITS</replaceable></option></term>
282
274
          </para>
283
275
        </listitem>
284
276
      </varlistentry>
285
 
 
286
 
      <varlistentry>
287
 
        <term><option>--delay=<replaceable
288
 
        >SECONDS</replaceable></option></term>
289
 
        <listitem>
290
 
          <para>
291
 
            After bringing the network interface up, the program waits
292
 
            for the interface to arrive in a <quote>running</quote>
293
 
            state before proceeding.  During this time, the kernel log
294
 
            level will be lowered to reduce clutter on the system
295
 
            console, alleviating any other plugins which might be
296
 
            using the system console.  This option sets the upper
297
 
            limit of seconds to wait.  The default is 2.5 seconds.
298
 
          </para>
299
 
        </listitem>
300
 
      </varlistentry>
301
 
 
302
 
      <varlistentry>
303
 
        <term><option>--retry=<replaceable
304
 
        >SECONDS</replaceable></option></term>
305
 
        <listitem>
306
 
          <para>
307
 
            All Mandos servers are tried repeatedly until a password
308
 
            is received.  This value specifies, in seconds, how long
309
 
            between each successive try <emphasis>for the same
310
 
            server</emphasis>.  The default is 10 seconds.
311
 
          </para>
312
 
        </listitem>
313
 
      </varlistentry>
314
277
      
315
278
      <varlistentry>
316
279
        <term><option>--debug</option></term>
346
309
          </para>
347
310
        </listitem>
348
311
      </varlistentry>
349
 
      
 
312
 
350
313
      <varlistentry>
351
314
        <term><option>--version</option></term>
352
315
        <term><option>-V</option></term>
358
321
      </varlistentry>
359
322
    </variablelist>
360
323
  </refsect1>
361
 
  
 
324
 
362
325
  <refsect1 id="overview">
363
326
    <title>OVERVIEW</title>
364
327
    <xi:include href="../overview.xml"/>
373
336
      <filename>/etc/crypttab</filename>, but it would then be
374
337
      impossible to enter a password for the encrypted root disk at
375
338
      the console, since this program does not read from the console
376
 
      at all.  This is why a separate plugin runner (<citerefentry>
377
 
      <refentrytitle>plugin-runner</refentrytitle>
378
 
      <manvolnum>8mandos</manvolnum></citerefentry>) is used to run
379
 
      both this program and others in in parallel,
380
 
      <emphasis>one</emphasis> of which will prompt for passwords on
381
 
      the system console.
 
339
      at all.  This is why a separate plugin does that, which will be
 
340
      run in parallell to this one by the plugin runner.
382
341
    </para>
383
342
  </refsect1>
384
343
  
389
348
      server could be found and the password received from it could be
390
349
      successfully decrypted and output on standard output.  The
391
350
      program will exit with a non-zero exit status only if a critical
392
 
      error occurs.  Otherwise, it will forever connect to any
393
 
      discovered <application>Mandos</application> servers, trying to
394
 
      get a decryptable password and print it.
 
351
      error occurs.  Otherwise, it will forever connect to new
 
352
      <application>Mandos</application> servers as they appear, trying
 
353
      to get a decryptable password.
395
354
    </para>
396
355
  </refsect1>
397
356
  
405
364
    </para>
406
365
  </refsect1>
407
366
  
408
 
  <refsect1 id="files">
 
367
  <refsect1 id="file">
409
368
    <title>FILES</title>
410
369
    <variablelist>
411
370
      <varlistentry>
430
389
<!--     <para> -->
431
390
<!--     </para> -->
432
391
<!--   </refsect1> -->
433
 
  
 
392
 
434
393
  <refsect1 id="example">
435
394
    <title>EXAMPLE</title>
436
395
    <para>
450
409
    </informalexample>
451
410
    <informalexample>
452
411
      <para>
453
 
        Search for Mandos servers (and connect to them) using another
454
 
        interface:
 
412
        Search for Mandos servers on another interface:
455
413
      </para>
456
414
      <para>
457
415
        <!-- do not wrap this line -->
460
418
    </informalexample>
461
419
    <informalexample>
462
420
      <para>
463
 
        Run in debug mode, and use a custom key:
 
421
        Run in debug mode, and use a custom key directory:
464
422
      </para>
465
423
      <para>
466
 
 
467
 
<!-- do not wrap this line -->
468
 
<userinput>&COMMANDNAME; --debug --pubkey keydir/pubkey.txt --seckey keydir/seckey.txt</userinput>
469
 
 
 
424
        <!-- do not wrap this line -->
 
425
        <userinput>&COMMANDNAME; --debug --keydir keydir</userinput>
470
426
      </para>
471
427
    </informalexample>
472
428
    <informalexample>
473
429
      <para>
474
 
        Run in debug mode, with a custom key, and do not use Zeroconf
475
 
        to locate a server; connect directly to the IPv6 link-local
 
430
        Run in debug mode, with a custom key directory, and do not use
 
431
        Zeroconf to locate a server; connect directly to the IPv6
476
432
        address <quote><systemitem class="ipaddress"
477
 
        >fe80::aede:48ff:fe71:f6f2</systemitem></quote>, port 4711,
478
 
        using interface eth2:
 
433
        >2001:db8:f983:bd0b:30de:ae4a:71f2:f672</systemitem></quote>,
 
434
        port 4711, using interface eth2:
479
435
      </para>
480
436
      <para>
481
437
 
482
438
<!-- do not wrap this line -->
483
 
<userinput>&COMMANDNAME; --debug --pubkey keydir/pubkey.txt --seckey keydir/seckey.txt --connect fe80::aede:48ff:fe71:f6f2:4711 --interface eth2</userinput>
 
439
<userinput>&COMMANDNAME; --debug --keydir keydir --connect 2001:db8:f983:bd0b:30de:ae4a:71f2:f672:4711 --interface eth2</userinput>
484
440
 
485
441
      </para>
486
442
    </informalexample>
487
443
  </refsect1>
488
 
  
 
444
 
489
445
  <refsect1 id="security">
490
446
    <title>SECURITY</title>
491
447
    <para>
492
 
      This program is set-uid to root, but will switch back to the
493
 
      original (and presumably non-privileged) user and group after
494
 
      bringing up the network interface.
495
 
    </para>
496
 
    <para>
497
 
      To use this program for its intended purpose (see <xref
498
 
      linkend="purpose"/>), the password for the root file system will
499
 
      have to be given out to be stored in a server computer, after
500
 
      having been encrypted using an OpenPGP key.  This encrypted data
501
 
      which will be stored in a server can only be decrypted by the
502
 
      OpenPGP key, and the data will only be given out to those
503
 
      clients who can prove they actually have that key.  This key,
504
 
      however, is stored unencrypted on the client side in its initial
505
 
      <acronym>RAM</acronym> disk image file system.  This is normally
506
 
      readable by all, but this is normally fixed during installation
507
 
      of this program; file permissions are set so that no-one is able
508
 
      to read that file.
509
 
    </para>
510
 
    <para>
511
 
      The only remaining weak point is that someone with physical
512
 
      access to the client hard drive might turn off the client
513
 
      computer, read the OpenPGP keys directly from the hard drive,
514
 
      and communicate with the server.  To safeguard against this, the
515
 
      server is supposed to notice the client disappearing and stop
516
 
      giving out the encrypted data.  Therefore, it is important to
517
 
      set the timeout and checker interval values tightly on the
518
 
      server.  See <citerefentry><refentrytitle
519
 
      >mandos</refentrytitle><manvolnum>8</manvolnum></citerefentry>.
520
 
    </para>
521
 
    <para>
522
 
      It will also help if the checker program on the server is
523
 
      configured to request something from the client which can not be
524
 
      spoofed by someone else on the network, unlike unencrypted
525
 
      <acronym>ICMP</acronym> echo (<quote>ping</quote>) replies.
526
 
    </para>
527
 
    <para>
528
 
      <emphasis>Note</emphasis>: This makes it completely insecure to
529
 
      have <application >Mandos</application> clients which dual-boot
530
 
      to another operating system which is <emphasis>not</emphasis>
531
 
      trusted to keep the initial <acronym>RAM</acronym> disk image
532
 
      confidential.
533
448
    </para>
534
449
  </refsect1>
535
 
  
 
450
 
536
451
  <refsect1 id="see_also">
537
452
    <title>SEE ALSO</title>
538
453
    <para>
539
 
      <citerefentry><refentrytitle>intro</refentrytitle>
540
 
      <manvolnum>8mandos</manvolnum></citerefentry>,
541
 
      <citerefentry><refentrytitle>cryptsetup</refentrytitle>
542
 
      <manvolnum>8</manvolnum></citerefentry>,
543
 
      <citerefentry><refentrytitle>crypttab</refentrytitle>
544
 
      <manvolnum>5</manvolnum></citerefentry>,
545
454
      <citerefentry><refentrytitle>mandos</refentrytitle>
546
455
      <manvolnum>8</manvolnum></citerefentry>,
547
456
      <citerefentry><refentrytitle>password-prompt</refentrytitle>
549
458
      <citerefentry><refentrytitle>plugin-runner</refentrytitle>
550
459
      <manvolnum>8mandos</manvolnum></citerefentry>
551
460
    </para>
552
 
    <variablelist>
553
 
      <varlistentry>
554
 
        <term>
555
 
          <ulink url="http://www.zeroconf.org/">Zeroconf</ulink>
556
 
        </term>
557
 
        <listitem>
558
 
          <para>
559
 
            Zeroconf is the network protocol standard used for finding
560
 
            Mandos servers on the local network.
561
 
          </para>
562
 
        </listitem>
563
 
      </varlistentry>
564
 
      <varlistentry>
565
 
        <term>
566
 
          <ulink url="http://www.avahi.org/">Avahi</ulink>
567
 
        </term>
568
 
      <listitem>
569
 
        <para>
570
 
          Avahi is the library this program calls to find Zeroconf
571
 
          services.
572
 
        </para>
573
 
      </listitem>
574
 
      </varlistentry>
575
 
      <varlistentry>
576
 
        <term>
577
 
          <ulink url="http://www.gnu.org/software/gnutls/"
578
 
          >GnuTLS</ulink>
579
 
        </term>
580
 
      <listitem>
581
 
        <para>
582
 
          GnuTLS is the library this client uses to implement TLS for
583
 
          communicating securely with the server, and at the same time
584
 
          send the public OpenPGP key to the server.
585
 
        </para>
586
 
      </listitem>
587
 
      </varlistentry>
588
 
      <varlistentry>
589
 
        <term>
590
 
          <ulink url="http://www.gnupg.org/related_software/gpgme/"
591
 
                 >GPGME</ulink>
592
 
        </term>
593
 
        <listitem>
594
 
          <para>
595
 
            GPGME is the library used to decrypt the OpenPGP data sent
596
 
            by the server.
597
 
          </para>
598
 
        </listitem>
599
 
      </varlistentry>
600
 
      <varlistentry>
601
 
        <term>
602
 
          RFC 4291: <citetitle>IP Version 6 Addressing
603
 
          Architecture</citetitle>
604
 
        </term>
605
 
        <listitem>
606
 
          <variablelist>
607
 
            <varlistentry>
608
 
              <term>Section 2.2: <citetitle>Text Representation of
609
 
              Addresses</citetitle></term>
610
 
              <listitem><para/></listitem>
611
 
            </varlistentry>
612
 
            <varlistentry>
613
 
              <term>Section 2.5.5.2: <citetitle>IPv4-Mapped IPv6
614
 
              Address</citetitle></term>
615
 
              <listitem><para/></listitem>
616
 
            </varlistentry>
617
 
            <varlistentry>
618
 
            <term>Section 2.5.6, <citetitle>Link-Local IPv6 Unicast
619
 
            Addresses</citetitle></term>
620
 
            <listitem>
621
 
              <para>
622
 
                This client uses IPv6 link-local addresses, which are
623
 
                immediately usable since a link-local addresses is
624
 
                automatically assigned to a network interfaces when it
625
 
                is brought up.
626
 
              </para>
627
 
            </listitem>
628
 
            </varlistentry>
629
 
          </variablelist>
630
 
        </listitem>
631
 
      </varlistentry>
632
 
      <varlistentry>
633
 
        <term>
634
 
          RFC 4346: <citetitle>The Transport Layer Security (TLS)
635
 
          Protocol Version 1.1</citetitle>
636
 
        </term>
637
 
      <listitem>
638
 
        <para>
639
 
          TLS 1.1 is the protocol implemented by GnuTLS.
640
 
        </para>
641
 
      </listitem>
642
 
      </varlistentry>
643
 
      <varlistentry>
644
 
        <term>
645
 
          RFC 4880: <citetitle>OpenPGP Message Format</citetitle>
646
 
        </term>
647
 
      <listitem>
648
 
        <para>
649
 
          The data received from the server is binary encrypted
650
 
          OpenPGP data.
651
 
        </para>
652
 
      </listitem>
653
 
      </varlistentry>
654
 
      <varlistentry>
655
 
        <term>
656
 
          RFC 5081: <citetitle>Using OpenPGP Keys for Transport Layer
657
 
          Security</citetitle>
658
 
        </term>
659
 
      <listitem>
660
 
        <para>
661
 
          This is implemented by GnuTLS and used by this program so
662
 
          that OpenPGP keys can be used.
663
 
        </para>
664
 
      </listitem>
665
 
      </varlistentry>
666
 
    </variablelist>
 
461
    <itemizedlist>
 
462
      <listitem><para>
 
463
        <ulink url="http://www.zeroconf.org/">Zeroconf</ulink>
 
464
      </para></listitem>
 
465
      
 
466
      <listitem><para>
 
467
        <ulink url="http://www.avahi.org/">Avahi</ulink>
 
468
      </para></listitem>
 
469
      
 
470
      <listitem><para>
 
471
        <ulink
 
472
            url="http://www.gnu.org/software/gnutls/">GnuTLS</ulink>
 
473
      </para></listitem>
 
474
      
 
475
      <listitem><para>
 
476
        <ulink
 
477
        url="http://www.gnupg.org/related_software/gpgme/"
 
478
        >GPGME</ulink>
 
479
      </para></listitem>
 
480
      
 
481
      <listitem><para>
 
482
        <citation>RFC 4880: <citetitle>OpenPGP Message
 
483
        Format</citetitle></citation>
 
484
      </para></listitem>
 
485
      
 
486
      <listitem><para>
 
487
        <citation>RFC 5081: <citetitle>Using OpenPGP Keys for
 
488
        Transport Layer Security</citetitle></citation>
 
489
      </para></listitem>
 
490
      
 
491
      <listitem><para>
 
492
        <citation>RFC 4291: <citetitle>IP Version 6 Addressing
 
493
        Architecture</citetitle>, section 2.5.6, Link-Local IPv6
 
494
        Unicast Addresses</citation>
 
495
      </para></listitem>
 
496
    </itemizedlist>
667
497
  </refsect1>
 
498
 
668
499
</refentry>
669
 
 
670
500
<!-- Local Variables: -->
671
501
<!-- time-stamp-start: "<!ENTITY TIMESTAMP [\"']" -->
672
502
<!-- time-stamp-end: "[\"']>" -->