Content-type: text/html; charset=UTF-8

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<HTML><HEAD><TITLE>Man page of SYSTEMD-PCRLOCK</TITLE>
</HEAD><BODY>
<H1>SYSTEMD-PCRLOCK</H1>
Section: systemd-pcrlock (8)<BR>Updated: <BR><A HREF="#index">Index</A>
<A HREF="index.html">Return to Main Contents</A><HR>





















<A NAME="lbAB">&nbsp;</A>
<H2>NAME</H2>

systemd-pcrlock, systemd-pcrlock-file-system.service, systemd-pcrlock-firmware-code.service, systemd-pcrlock-firmware-config.service, systemd-pcrlock-machine-id.service, systemd-pcrlock-make-policy.service, systemd-pcrlock-secureboot-authority.service, systemd-pcrlock-secureboot-policy.service - Analyze and predict TPM2 PCR states and generate an access policy from the prediction
<A NAME="lbAC">&nbsp;</A>
<H2>SYNOPSIS</H2>

<DL COMPACT>
<DT>
<B>/usr/lib/systemd/systemd-pcrlock</B> [OPTIONS...]
</DL>
<A NAME="lbAD">&nbsp;</A>
<H2>DESCRIPTION</H2>

<P>

<DD>Note: this command is experimental for now. While it is likely to become a regular component of systemd, it might still change in behaviour and interface.
<P>

<B>systemd-pcrlock</B>
is a tool that may be used to analyze and predict TPM2 PCR measurements, and generate TPM2 access policies from the prediction which it stores in a TPM2 NV index (i.e. in the TPM2 non-volatile memory). This may then be used to restrict access to TPM2 objects (such as disk encryption keys) to system boot-ups in which only specific, trusted components are used.
<P>

<B>systemd-pcrlock</B>
uses as input for its analysis and prediction:
<P>
<DL COMPACT><DT><DD>
&bull;


The UEFI firmware TPM2 event log (i.e.
/sys/kernel/security/tpm0/binary_bios_measurements) of the current boot.
</DL>

<P>
<DL COMPACT><DT><DD>
&bull;


The userspace TPM2 event log (i.e.
/run/log/systemd/tpm2-measure.log) of the current boot.
</DL>

<P>
<DL COMPACT><DT><DD>
&bull;


The current PCR state of the TPM2 chip.
</DL>

<P>
<DL COMPACT><DT><DD>
&bull;


Boot component definition files (*.pcrlock
and
*.pcrlock.d/*.pcrlock, see
<B><A HREF="systemd.pcrlock.5.html">systemd.pcrlock</A></B>(5)) that each define expected measurements for one component of the boot process, permitting alternative variants for each. (Variants may be used to bless multiple kernel versions or boot loader versions at the same time.)
</DL>

<P>

It uses these inputs to generate a combined event log, validating it against the PCR states. It then attempts to recognize event log records and matches them against the defined components. For each PCR where this can be done comprehensively (i.e. where all listed records and all defined components have been matched) this may then be used to predict future PCR measurements, taking the alternative variants defined for each component into account. This prediction may then be converted into a TPM2 access policy (consisting of TPM2
<B>PolicyPCR</B>
and
<B>PolicyOR</B>
items), which is then stored in an NV index in the TPM2. This may be used to then lock secrets (such as disk encryption keys) to these policies (via a TPM2
<B>PolicyAuthorizeNV</B>
policy).
<P>

Use tools such as
<B><A HREF="systemd-cryptenroll.1.html">systemd-cryptenroll</A></B>(1)
or
<B><A HREF="systemd-repart.8.html">systemd-repart</A></B>(8)
to bind disk encryption to such a
<B>systemd-pcrlock</B>
TPM2 policy. Specifically, see the
<B>--tpm2-pcrlock=</B>
switches of these tools.
<P>

The access policy logic requires a TPM2 device that implements the
&quot;PolicyAuthorizeNV&quot;
command, i.e. implements TPM 2.0 version 1.38 or newer.
<A NAME="lbAE">&nbsp;</A>
<H2>COMMANDS</H2>

<P>

The following commands are understood:
<P>

<B>log</B>
<DL COMPACT><DT><DD>
This reads the combined TPM2 event log, validates it, matches it against the current PCR values, and outputs both in tabular form. Combine with
<B>--json=</B>
to generate output in JSON format.
<P>
Added in version 255.
</DL>

<P>

<B>cel</B>
<DL COMPACT><DT><DD>
This reads the combined TPM2 event log and writes it to STDOUT in
m[blue]<B>TCG Canonical Event Log Format (CEL-JSON)</B>m[]<FONT SIZE="-2">[1]</FONT>.
<P>
Added in version 255.
</DL>

<P>

<B>list-components</B>
<DL COMPACT><DT><DD>
Shows a list of component definitions and their variants, i.e. the
*.pcrlock
files discovered in
/var/lib/pcrlock.d/,
/usr/lib/pcrlock.d/, and the other supported directories. See
<B><A HREF="systemd.pcrlock.5.html">systemd.pcrlock</A></B>(5)
for details on these files and the full list of directories searched.
<P>
Added in version 255.
</DL>

<P>

<B>predict</B>
<DL COMPACT><DT><DD>
Predicts the PCR state on future boots. This will analyze the TPM2 event log as described above, recognize components, and then generate all possible resulting PCR values for all combinations of component variants. Note that no prediction is made for PCRs whose value does not match the event log records, for which unrecognized measurements are discovered or for which components are defined that cannot be found in the event log. This is a safety measure to ensure that any generated access policy can be fulfilled correctly on current and future boots.
<P>
Added in version 255.
</DL>

<P>

<B>make-policy</B>
<DL COMPACT><DT><DD>
This predicts the PCR state for future boots, much like the
<B>predict</B>
command above. It then uses this data to generate a TPM2 access policy which it stores in a TPM2 NV index. The prediction and information about the used TPM2 and its NV index are written to
/var/lib/systemd/pcrlock.json.
<P>
The NV index is allocated on first invocation, and updated on subsequent invocations.
<P>
The NV index contents may be changed (and thus the policy stored in it updated) by providing an access PIN. This PIN is normally generated automatically and stored in encrypted form (with an access policy binding it to the NV index itself) in the aforementioned JSON policy file. This PIN may be chosen by the user, via the
<B>--recovery-pin=</B>
switch. If specified it may be used as alternative path of access to update the policy.
<P>
If the new prediction matches the old this command terminates quickly and executes no further operation. (Unless
<B>--force</B>
is specified, see below.)
<P>
Starting with v256, a copy of the
/var/lib/systemd/pcrlock.json
policy file is encoded in a credential (see
<B><A HREF="systemd-creds.1.html">systemd-creds</A></B>(1)
for details) and written to the EFI System Partition or XBOOTLDR partition, in the
/loader/credentials/
subdirectory. There it is picked up at boot by
<B><A HREF="systemd-stub.7.html">systemd-stub</A></B>(7)
and passed to the invoked initrd, where it can be used to unlock the root file system (which typically contains
/var/, which is where the primary copy of the policy is located, which hence cannot be used to unlock the root file system). The credential file is named after the boot entry token of the installation (see
<B><A HREF="bootctl.1.html">bootctl</A></B>(1)), which is configurable via the
<B>--entry-token=</B>
switch, see below.
<P>
Added in version 255.
</DL>

<P>

<B>remove-policy</B>
<DL COMPACT><DT><DD>
Removes a previously generated policy. Deletes the
/var/lib/systemd/pcrlock.json
file, and deallocates the NV index.
<P>
Added in version 255.
</DL>

<P>

<B>lock-firmware-code</B>, <B>unlock-firmware-code</B>
<DL COMPACT><DT><DD>
Generates/removes
.pcrlock
files based on the TPM2 event log of the current boot covering all records for PCRs 0 (&quot;platform-code&quot;) and 2 (&quot;external-code&quot;).
<P>
This operation allows locking the boot process to the current version of the firmware of the system and its extension cards. This operation should only be used if the system vendor does not provide suitable pcrlock data ahead of time.
<P>
Note that this data only matches the current version of the firmware. If a firmware update is applied this data will be out-of-date and any access policy generated from it will no longer pass. It is thus recommended to invoke
<B>unlock-firmware-code</B>
before doing a firmware update, followed by
<B>make-policy</B>
to refresh the policy.
<P>
<B>systemd-pcrlock lock-firmware-code</B>
is invoked automatically at boot via the
systemd-pcrlock-firmware-code.service
unit, if enabled. This ensures that an access policy managed by
<B>systemd-pcrlock</B>
is automatically locked to the new firmware version whenever the policy has been relaxed temporarily, in order to cover for firmware updates, as described above.
<P>
The files are only generated from the event log if the event log matches the current TPM2 PCR state.
<P>
This writes/removes the files
/var/lib/pcrlock.d/250-firmware-code-early.pcrlock.d/generated.pcrlock
and
/var/lib/pcrlock.d/550-firmware-code-late.pcrlock.d/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-firmware-config</B>, <B>unlock-firmware-config</B>
<DL COMPACT><DT><DD>
This is similar to
<B>lock-firmware-code</B>/<B>unlock-firmware-code</B>
but locks down the firmware configuration, i.e. PCRs 1 (&quot;platform-config&quot;) and 3 (&quot;external-config&quot;).
<P>
This functionality should be used with care as in most scenarios a minor firmware configuration change should not invalidate access policies to TPM2 objects. Also note that some systems measure unstable and unpredictable information (e.g. current CPU voltages, temperatures, as part of SMBIOS data) to these PCRs, which means this form of lockdown cannot be used reliably on such systems. Use this functionality only if the system and hardware is well known and does not suffer by these limitations, for example in virtualized environments.
<P>
Use
<B>unlock-firmware-config</B>
before making firmware configuration changes. If the
systemd-pcrlock-firmware-config.service
unit is enabled it will automatically generate a pcrlock file from the new measurements.
<P>
This writes/removes the files
/var/lib/pcrlock.d/250-firmware-config-early.pcrlock.d/generated.pcrlock
and
/var/lib/pcrlock.d/550-firmware-config-late.pcrlock.d/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-secureboot-policy</B>, <B>unlock-secureboot-policy</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on the SecureBoot policy currently enforced. This looks at the SecureBoot, PK, KEK, db, dbx, dbt, dbr EFI variables and predicts their measurements to PCR 7 (&quot;secure-boot-policy&quot;) on the next boot.
<P>
Use
<B>unlock-firmware-config</B>
before applying SecureBoot policy updates. If the
systemd-pcrlock-secureboot-policy.service
unit is enabled it will automatically generate a pcrlock file from the policy discovered.
<P>
This writes/removes the file
/var/lib/pcrlock.d/230-secureboot-policy.pcrlock.d/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-secureboot-authority</B>, <B>unlock-secureboot-authority</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on the SecureBoot authorities used to validate the boot path. SecureBoot authorities are the specific SecureBoot database entries that where used to validate the UEFI PE binaries executed at boot. This looks at the event log of the current boot, and uses relevant measurements on PCR 7 (&quot;secure-boot-policy&quot;).
<P>
This writes/removes the file
/var/lib/pcrlock.d/620-secureboot-authority.pcrlock.d/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-gpt</B> [<I>DEVICE</I>], <B>unlock-gpt</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on the GPT partition table of the specified disk. If no disk is specified automatically determines the block device backing the root file system. This locks the state of the disk partitioning of the booted medium, which firmware measures to PCR 5 (&quot;boot-loader-config&quot;).
<P>
This writes/removes the file
/var/lib/pcrlock.d/600-gpt.pcrlock.d/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-pe</B> [<I>BINARY</I>], <B>unlock-pe</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on the specified PE binary. This is useful for predicting measurements the firmware makes to PCR 4 (&quot;boot-loader-code&quot;) if the specified binary is part of the UEFI boot process. Use this on boot loader binaries and suchlike. Use
<B>lock-uki</B>
(see below) for PE binaries that are unified kernel images (UKIs).
<P>
Expects a path to the PE binary as argument. If not specified, reads the binary from STDIN instead.
<P>
The pcrlock file to write must be specified via the
<B>--pcrlock=</B>
switch.
<P>
Added in version 255.
</DL>

<P>

<B>lock-uki</B> [<I>UKI</I>], <B>unlock-uki</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on the specified UKI PE binary. This is useful for predicting measurements the firmware makes to PCR 4 (&quot;boot-loader-code&quot;), and
<B><A HREF="systemd-stub.7.html">systemd-stub</A></B>(7)
makes to PCR 11 (&quot;kernel-boot&quot;), if the specified UKI is booted. This is a superset of
<B>lock-pe</B>.
<P>
Expects a path to the UKI PE binary as argument. If not specified, reads the binary from STDIN instead.
<P>
The pcrlock file to write must be specified via the
<B>--pcrlock=</B>
switch.
<P>
Added in version 255.
</DL>

<P>

<B>lock-machine-id</B>, <B>unlock-machine-id</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on
/etc/machine-id. This is useful for predicting measurements
<B><A HREF="systemd-pcrmachine.service.8.html">systemd-pcrmachine.service</A></B>(8)
makes to PCR 15 (&quot;system-identity&quot;).
<P>
This writes/removes the file
/var/lib/pcrlock.d/820-machine-id.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-file-system</B> [<I>PATH</I>], <B>unlock-file-system</B> [<I>PATH</I>]
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on file system identity. This is useful for predicting measurements
<B><A HREF="mailto:systemd-pcrfs@.service">systemd-pcrfs@.service</A></B>(8)
makes to PCR 15 (&quot;system-identity&quot;) for the root and
/var/
file systems.
<P>
This writes/removes the files
/var/lib/pcrlock.d/830-root-file-system.pcrlock
and
/var/lib/pcrlock.d/840-file-system-<I>path</I>.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-kernel-cmdline</B> [<I>FILE</I>], <B>unlock-kernel-cmdline</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on
/proc/cmdline
(or the specified file if given). This is useful for predicting measurements the Linux kernel makes to PCR 9 (&quot;kernel-initrd&quot;).
<P>
This writes/removes the file
/var/lib/pcrlock.d/710-kernel-cmdline.pcrlock/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-kernel-initrd</B> <I>FILE</I>, <B>unlock-kernel-initrd</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on a kernel initrd cpio archive. This is useful for predicting measurements the Linux kernel makes to PCR 9 (&quot;kernel-initrd&quot;). Do not use for
<B><A HREF="systemd-stub.7.html">systemd-stub</A></B>(7)
UKIs, as the initrd is combined dynamically from various sources and hence does not take a single input, like this command.
<P>
This writes/removes the file
/var/lib/pcrlock.d/720-kernel-initrd.pcrlock/generated.pcrlock.
<P>
Added in version 255.
</DL>

<P>

<B>lock-raw</B> [<I>FILE</I>], <B>unlock-raw</B>
<DL COMPACT><DT><DD>
Generates/removes a
.pcrlock
file based on raw binary data. The data is either read from the specified file or from STDIN (if none is specified). This requires that
<B>--pcrs=</B>
is specified. The generated .pcrlock file is written to the file specified via
<B>--pcrlock=</B>
or to STDOUT (if none is specified).
<P>
Added in version 255.
</DL>

<A NAME="lbAF">&nbsp;</A>
<H2>OPTIONS</H2>

<P>

The following options are understood:
<P>

<B>--raw-description</B>
<DL COMPACT><DT><DD>
When displaying the TPM2 event log do not attempt to decode the records to provide a friendly event log description string. Instead, show the binary payload data in escaped form.
<P>
Added in version 255.
</DL>

<P>

<B>--pcr=</B>
<DL COMPACT><DT><DD>
Specifies the PCR number to use. May be specified more than once to select multiple PCRs.
<P>
This is used by
<B>lock-raw</B>
and
<B>lock-pe</B>
to select the PCR to lock against.
<P>
If used with
<B>predict</B>
and
<B>make-policy</B>
this will override which PCRs to include in the prediction and policy. If unspecified this defaults to PCRs 0-5, 7, 11-15. Note that these commands will not include any PCRs in the prediction/policy (even if specified explicitly) if there are measurements in the event log that do not match the current PCR value, or there are unrecognized measurements in the event log, or components define measurements not seen in the event log.
<P>
Added in version 255.
</DL>

<P>

<B>--nv-index=</B>
<DL COMPACT><DT><DD>
Specifies the NV index to store the policy in. Honoured by
<B>make-policy</B>. If not specified, the command will automatically pick a free NV index.
<P>
Added in version 255.
</DL>

<P>

<B>--components=</B>
<DL COMPACT><DT><DD>
Takes a path to read
*.pcrlock
and
*.pcrlock.d/*.pcrlock
files from. May be used more than once to specify multiple such directories. If not specified, defaults to
/etc/pcrlock.d/,
/run/pcrlock.d/,
/var/lib/pcrlock.d/,
/usr/local/lib/pcrlock.d/,
/usr/lib/pcrlock.d/.
<P>
Added in version 255.
</DL>

<P>

<B>--location=</B>
<DL COMPACT><DT><DD>
Takes either a string or a colon-separated pair of strings. Configures up to which point in the sorted list of defined components to analyze/predict PCRs to. Typically, the
<B>systemd-pcrlock</B>
tool is invoked from a fully booted system after boot-up and before shutdown. This means various components that are defined for shutdown have not been measured yet, and should not be searched for. This option allows one to restrict which components are considered for analysis (taking only components before some point into account, ignoring components after them). The expected string is ordered against the filenames of the components defined. Any components with a lexicographically later name are ignored. This logic applies to the
<B>log</B>,
<B>predict</B>, and
<B>make-policy</B>
verbs. If a colon-separated pair of strings are specified then they select which phases of the boot to include in the prediction/policy. The first string defines where the first prediction shall be made, and the second string defines where the last prediction shall be made. All such predictions are then combined into one set.
<P>
If used with
<B>list-components</B>
the selected location range will be highlighted in the component list.
<P>
Defaults to
&quot;760-:940-&quot;, which means the policies generated by default will basically cover the whole runtime of the OS userspace, from the initrd (as
&quot;760-&quot;
closely follows
750-enter-initrd.pcrlock) until (and including) the main runtime of the system (as
&quot;940-&quot;
is closely followed by
950-shutdown.pcrlock). See
<B><A HREF="systemd.pcrlock.5.html">systemd.pcrlock</A></B>(5)
for a full list of well-known components, that illustrate where this range is placed by default.
<P>
Added in version 255.
</DL>

<P>

<B>--recovery-pin=</B>
<DL COMPACT><DT><DD>
Takes one of
&quot;hide&quot;,
&quot;show&quot;
or
&quot;query&quot;. Defaults to
&quot;hide&quot;. Honoured by
<B>make-policy</B>. If
&quot;query&quot;, will query the user for a PIN to unlock the TPM2 NV index with. If no policy was created before, this PIN is used to protect the newly allocated NV index. If a policy has been created before, the PIN is used to unlock write access to the NV index. If either
&quot;hide&quot;
or
&quot;show&quot;
is used, a PIN is automatically generated, and --- only in case of
&quot;show&quot;
--- displayed on screen. Regardless if user supplied or automatically generated, it is stored in encrypted form in the policy metadata file. The recovery PIN may be used to regain write access to an NV index in case the access policy became out of date.
<P>
Added in version 255.
</DL>

<P>

<B>--pcrlock=</B>
<DL COMPACT><DT><DD>
Takes a file system path as argument. If specified, configures where to write the generated pcrlock data to. Honoured by the various
<B>lock-*</B>
commands. If not specified, a default path is generally used, as documented above.
<P>
Added in version 255.
</DL>

<P>

<B>--policy=</B>
<DL COMPACT><DT><DD>
Takes a file system path as argument. If specified, configures where to write pcrlock policy metadata to. If not specified, defaults to
/var/lib/systemd/pcrlock.json.
<P>
Added in version 255.
</DL>

<P>

<B>--force</B>
<DL COMPACT><DT><DD>
If specified with
<B>make-policy</B>, the predicted policy will be written to the NV index even if it is detected to be the same as the previously stored one.
<P>
Added in version 255.
</DL>

<P>

<B>--entry-token=</B>
<DL COMPACT><DT><DD>
Sets the boot entry token to use for the file name for the pcrlock policy credential in the EFI System Partition or XBOOTLDR partition. See the
<B><A HREF="bootctl.1.html">bootctl</A></B>(1)
option of the same regarding expected values. This switch has an effect on the
<B>make-policy</B>
command only.
<P>
Added in version 256.
</DL>

<P>

<B>--json=</B><B></B><I>MODE</I>
<DL COMPACT><DT><DD>
Shows output formatted as JSON. Expects one of
&quot;short&quot;
(for the shortest possible output without any redundant whitespace or line breaks),
&quot;pretty&quot;
(for a pretty version of the same, with indentation and line breaks) or
&quot;off&quot;
(to turn off JSON output, the default).
</DL>

<P>

<B>--no-pager</B>
<DL COMPACT><DT><DD>
Do not pipe output into a pager.
</DL>

<P>

<B>-h</B>, <B>--help</B>
<DL COMPACT><DT><DD>
Print a short help text and exit.
</DL>

<P>

<B>--version</B>
<DL COMPACT><DT><DD>
Print a short version string and exit.
</DL>

<A NAME="lbAG">&nbsp;</A>
<H2>EXIT STATUS</H2>

<P>

On success, 0 is returned, a non-zero failure code otherwise.
<A NAME="lbAH">&nbsp;</A>
<H2>SEE ALSO</H2>

<P>

<B><A HREF="systemd.1.html">systemd</A></B>(1), <B><A HREF="systemd.pcrlock.5.html">systemd.pcrlock</A></B>(5), <B><A HREF="systemd-cryptenroll.1.html">systemd-cryptenroll</A></B>(1), <B><A HREF="mailto:systemd-cryptsetup@.service">systemd-cryptsetup@.service</A></B>(8), <B><A HREF="systemd-repart.8.html">systemd-repart</A></B>(8), <B><A HREF="systemd-pcrmachine.service.8.html">systemd-pcrmachine.service</A></B>(8), <B><A HREF="systemd-creds.1.html">systemd-creds</A></B>(1), <B><A HREF="systemd-stub.7.html">systemd-stub</A></B>(7), <B><A HREF="bootctl.1.html">bootctl</A></B>(1)
<A NAME="lbAI">&nbsp;</A>
<H2>NOTES</H2>

<DL COMPACT>
<DT> 1.<DD>
TCG Canonical Event Log Format (CEL-JSON)
<DL COMPACT><DT><DD>
<A HREF="https://trustedcomputinggroup.org/resource/canonical-event-log-format/">https://trustedcomputinggroup.org/resource/canonical-event-log-format/</A>
</DL>

<P>
</DL>

<HR>
<A NAME="index">&nbsp;</A><H2>Index</H2>
<DL>
<DT><A HREF="#lbAB">NAME</A><DD>
<DT><A HREF="#lbAC">SYNOPSIS</A><DD>
<DT><A HREF="#lbAD">DESCRIPTION</A><DD>
<DT><A HREF="#lbAE">COMMANDS</A><DD>
<DT><A HREF="#lbAF">OPTIONS</A><DD>
<DT><A HREF="#lbAG">EXIT STATUS</A><DD>
<DT><A HREF="#lbAH">SEE ALSO</A><DD>
<DT><A HREF="#lbAI">NOTES</A><DD>
</DL>
<HR>
This document was created by
<A HREF="index.html">man2html</A>,
using the manual pages.<BR>
Time: 11:48:53 GMT, September 14, 2026
</BODY>
</HTML>