'; ?>
Delete GUI - All Users
"; echo "
"; while($row = db_fetch_array($res_gui)){ echo "
".$row["gui_name"]."
"; $cnt_gui++; } echo "
"; echo "
"; ?>