<?xml version="1.0" encoding="ISO-8859-1"?>
<?xml-stylesheet type="text/xsl" href="stylesheet.xsl"?>
<doc>
<title>kernel_1ec</title>
<body from_file="kernel_1ec.txt"/>
<menu from_file="compression.xml"/>
</doc>