if (isset($_REQUEST['edit'])) {
    $edit = true;
} else {
    $edit = false;
}
$Ops = new Ops();
writeHead("<TITLE>Ops - Meterkast - ADL Prototype</TITLE>" . ($edit ? '<SCRIPT type="text/javascript" src="js/edit.js"></SCRIPT>' : '<SCRIPT type="text/javascript" src="js/navigate.js"></SCRIPT>') . "\n");
if ($edit) {
    echo '<FORM name="editForm" action="' . $_SERVER['PHP_SELF'] . '" method="POST" class="Edit">';
}
?>
<H1>Ops</H1>
    <DIV class="Floater Operations">
      <DIV class="FloaterHeader">Operations</DIV>
      <DIV class="FloaterContent"><?php 
$Operations = $Ops->get_Operations();
echo '
          <UL>';
foreach ($Operations as $i0 => $idv0) {
    $v0 = $idv0;
    echo '
            <LI CLASS="item UI" ID="0.' . $i0 . '">';
    if (!$edit) {
        echo '
              <A HREF="' . serviceref('Operatie', array('Operatie' => urlencode($idv0['id']))) . '">';
        echo '<DIV class="GotoArrow">&rarr;</DIV></A>';
    }
    echo '
              <DIV>';
    echo 'name: ';
    echo '<SPAN CLASS="item UIname" ID="0.' . $i0 . '.0">';