+ html {<dt>} [ lindex $targets($t) 0]
+# html {<input type="checkbox" name="target" value="} $t
+# html {"> }
+ html {<dd>}
+ set databases [lindex $targets($t) 1]
+ foreach d $databases {
+ html {<input type="checkbox" name="target} $t {" }
+ html { value="} $d {">} " $d "
+ html "<br>\n"
+ }
+ html "\n"