action="edit.php"> text); ?>

format, ""); helpbutton("textformat", get_string("formattexttype")) ?>

"> ">