$v0 = display('UserRule', 'display', $idv0);
    echo '
            <LI CLASS="item UI" ID="0.' . $i0 . '">';
    if (!$edit) {
        echo '
              <A HREF="' . serviceref('UserRule', array('UserRule' => urlencode($idv0))) . '">' . htmlspecialchars($v0) . '</A>';
    } else {
        echo htmlspecialchars($v0);
    }
    echo '</LI>';
}
if ($edit) {
    echo '
            <LI CLASS="new UI" ID="0.' . count($Regellijst) . '">new Regellijst</LI>';
}
echo '
          </UL>';
?>
 
      </DIV>
    </DIV>
    <?php 
if ($edit) {
    echo '</FORM>';
}
if (!$edit) {
    $buttons = $buttons;
} else {
    $buttons .= ifaceButton("JavaScript:save('" . serviceref($_REQUEST['content']) . "&save=1');", "Save") . ifaceButton(serviceref($_REQUEST['content']), "Cancel");
}
writeTail($buttons);

    ?>
    <?php 
    if ($edit) {
        echo '</FORM>';
    }
    if ($del) {
        echo "<P><I>Delete failed</I></P>";
    }
    if ($edit) {
        if ($new) {
            $buttons .= ifaceButton("JavaScript:save('" . $_SERVER['PHP_SELF'] . "?save=1',document.forms[0].ID.value);", "Save");
        } else {
            $buttons .= ifaceButton("JavaScript:save('" . $_SERVER['PHP_SELF'] . "?save=1','" . urlencode($Document->getId()) . "');", "Save");
            $buttons .= ifaceButton($_SERVER['PHP_SELF'] . "?Document=" . urlencode($Document->getId()), "Cancel");
        }
    } else {
        $buttons .= ifaceButton($_SERVER['PHP_SELF'] . "?edit=1&Document=" . urlencode($Document->getId()), "Edit") . ifaceButton($_SERVER['PHP_SELF'] . "?del=1&Document=" . urlencode($Document->getId()), "Delete");
    }
} else {
    if ($del) {
        writeHead("<TITLE>Delete geslaagd</TITLE>");
        echo 'The Document is deleted';
    } else {
        // deze pagina zou onbereikbaar moeten zijn
        writeHead("<TITLE>No Document object selected - VIRO - ADL Prototype</TITLE>");
        ?>
<i>No Document object selected</i><?php 
    }
    $buttons .= ifaceButton($_SERVER['PHP_SELF'] . "?new=1", "New");
}
writeTail($buttons);

echo '
          </UL>';
?>
 
      </DIV>
    </DIV>
    <?php 
if ($edit) {
    ?>
    <SCRIPT type="text/javascript">
      // code for editing blocks in Clerks
      function UI_Clerks(id){
        return '<DIV>name: <SPAN CLASS="item UI_Clerks_name" ID="'+id+'.0"></SPAN></DIV>'
             + '<DIV>court: <UL><LI CLASS="new UI_Clerks_court" ID="'+id+'.1">new court</LI></UL></DIV>'
             + '<DIV>role: <SPAN CLASS="item UI_Clerks_role" ID="'+id+'.2"></SPAN></DIV>'
              ;
      }
    </SCRIPT>
    <?php 
}
?>
    <?php 
if ($edit) {
    echo '</FORM>';
}
if (!$edit) {
    $buttons .= ifaceButton($_SERVER['PHP_SELF'] . "?edit=1", "Edit");
} else {
    $buttons .= ifaceButton("JavaScript:save('" . $_SERVER['PHP_SELF'] . "?save=1');", "Save") . ifaceButton($_SERVER['PHP_SELF'], "Cancel");
}
writeTail($buttons);