+}
+
+$ajax_divs = array();
+
+function div_start($id='')
+{
+ global $ajax_divs;
+
+ array_push($ajax_divs, $id);
+ echo "<div ". ($id !='' ? "id='$id'" : '').">";
+ ob_start();
+}
+
+function div_end()
+{
+ global $ajax_divs, $Ajax;
+
+ if (count($ajax_divs))
+ {
+ $id = array_pop($ajax_divs);
+ $Ajax->addUpdate($id, $id, ob_get_flush());
+ echo "</div>";
+ }
+}