;
close(FILE);
print &text('file_desc', "$file"),"\n";
print &ui_form_start("save_file.cgi", "form-data");
print &ui_hidden("mode", $in{'mode'});
print &ui_hidden("idx", $in{'idx'});
print &ui_textarea("text", join("", @lines), 20, 80);
print &ui_form_end([ [ undef, $text{'save'} ] ]);
&ui_print_footer($return, $rmsg);