div id="content">
            <body class="object value">
            <div id="definition">
                <div class="big-circle object">o</div>
                <p id="owner"><a href="../../../../index.html" class="extype" name="ch">ch</a>.<a
                        href="../../../index.html" class="extype" name="ch.unibas">unibas</a>.<a
                        href="../../index.html" class="extype" name="ch.unibas.cs">cs</a>.<a
                        href="../index.html" class="extype" name="ch.unibas.c