comparison Plugins/Input/timidity/src/interface.c @ 552:dd3d8211d3ef trunk

[svn] make timidity strings translatable
author nenolod
date Wed, 01 Feb 2006 13:08:39 -0800
parents d1762728ea4b
children 9d09a5e6c3d5
comparison
equal deleted inserted replaced
551:2879fec62150 552:dd3d8211d3ef
9 #include <sys/types.h> 9 #include <sys/types.h>
10 #include <sys/stat.h> 10 #include <sys/stat.h>
11 #include <unistd.h> 11 #include <unistd.h>
12 #include <string.h> 12 #include <string.h>
13 13
14 #include <glib.h>
15 #include <glib/gi18n.h>
14 #include <gdk/gdkkeysyms.h> 16 #include <gdk/gdkkeysyms.h>
15 #include <gtk/gtk.h> 17 #include <gtk/gtk.h>
16 18
17 #include "callbacks.h" 19 #include "callbacks.h"
18 #include "interface.h" 20 #include "interface.h"
48 GtkWidget *conf_ok; 50 GtkWidget *conf_ok;
49 GtkWidget *button2; 51 GtkWidget *button2;
50 52
51 xmmstimid_conf_wnd = gtk_window_new (GTK_WINDOW_TOPLEVEL); 53 xmmstimid_conf_wnd = gtk_window_new (GTK_WINDOW_TOPLEVEL);
52 gtk_object_set_data (GTK_OBJECT (xmmstimid_conf_wnd), "xmmstimid_conf_wnd", xmmstimid_conf_wnd); 54 gtk_object_set_data (GTK_OBJECT (xmmstimid_conf_wnd), "xmmstimid_conf_wnd", xmmstimid_conf_wnd);
53 gtk_window_set_title (GTK_WINDOW (xmmstimid_conf_wnd), "TiMidity Configuration"); 55 gtk_window_set_title (GTK_WINDOW (xmmstimid_conf_wnd), _("TiMidity Configuration"));
54 gtk_window_set_position (GTK_WINDOW (xmmstimid_conf_wnd), GTK_WIN_POS_MOUSE); 56 gtk_window_set_position (GTK_WINDOW (xmmstimid_conf_wnd), GTK_WIN_POS_MOUSE);
55 57
56 vbox4 = gtk_vbox_new (FALSE, 0); 58 vbox4 = gtk_vbox_new (FALSE, 0);
57 gtk_widget_ref (vbox4); 59 gtk_widget_ref (vbox4);
58 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "vbox4", vbox4, 60 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "vbox4", vbox4,
68 gtk_box_pack_start (GTK_BOX (vbox4), table1, TRUE, TRUE, 0); 70 gtk_box_pack_start (GTK_BOX (vbox4), table1, TRUE, TRUE, 0);
69 gtk_container_set_border_width (GTK_CONTAINER (table1), 10); 71 gtk_container_set_border_width (GTK_CONTAINER (table1), 10);
70 gtk_table_set_row_spacings (GTK_TABLE (table1), 5); 72 gtk_table_set_row_spacings (GTK_TABLE (table1), 5);
71 gtk_table_set_col_spacings (GTK_TABLE (table1), 5); 73 gtk_table_set_col_spacings (GTK_TABLE (table1), 5);
72 74
73 frame1 = gtk_frame_new ("Sampling Rate"); 75 frame1 = gtk_frame_new (_("Sampling Rate"));
74 gtk_widget_ref (frame1); 76 gtk_widget_ref (frame1);
75 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame1", frame1, 77 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame1", frame1,
76 (GtkDestroyNotify) gtk_widget_unref); 78 (GtkDestroyNotify) gtk_widget_unref);
77 gtk_widget_show (frame1); 79 gtk_widget_show (frame1);
78 gtk_table_attach (GTK_TABLE (table1), frame1, 0, 1, 1, 2, 80 gtk_table_attach (GTK_TABLE (table1), frame1, 0, 1, 1, 2,
85 (GtkDestroyNotify) gtk_widget_unref); 87 (GtkDestroyNotify) gtk_widget_unref);
86 gtk_widget_show (vbox1); 88 gtk_widget_show (vbox1);
87 gtk_container_add (GTK_CONTAINER (frame1), vbox1); 89 gtk_container_add (GTK_CONTAINER (frame1), vbox1);
88 gtk_container_set_border_width (GTK_CONTAINER (vbox1), 5); 90 gtk_container_set_border_width (GTK_CONTAINER (vbox1), 5);
89 91
90 rate_11000 = gtk_radio_button_new_with_label (rate_group, "11000 Hz"); 92 rate_11000 = gtk_radio_button_new_with_label (rate_group, _("11000 Hz"));
91 rate_group = gtk_radio_button_group (GTK_RADIO_BUTTON (rate_11000)); 93 rate_group = gtk_radio_button_group (GTK_RADIO_BUTTON (rate_11000));
92 gtk_widget_ref (rate_11000); 94 gtk_widget_ref (rate_11000);
93 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "rate_11000", rate_11000, 95 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "rate_11000", rate_11000,
94 (GtkDestroyNotify) gtk_widget_unref); 96 (GtkDestroyNotify) gtk_widget_unref);
95 gtk_widget_show (rate_11000); 97 gtk_widget_show (rate_11000);
96 gtk_box_pack_start (GTK_BOX (vbox1), rate_11000, FALSE, FALSE, 0); 98 gtk_box_pack_start (GTK_BOX (vbox1), rate_11000, FALSE, FALSE, 0);
97 99
98 rate_22000 = gtk_radio_button_new_with_label (rate_group, "22000 Hz"); 100 rate_22000 = gtk_radio_button_new_with_label (rate_group, _("22000 Hz"));
99 rate_group = gtk_radio_button_group (GTK_RADIO_BUTTON (rate_22000)); 101 rate_group = gtk_radio_button_group (GTK_RADIO_BUTTON (rate_22000));
100 gtk_widget_ref (rate_22000); 102 gtk_widget_ref (rate_22000);
101 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "rate_22000", rate_22000, 103 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "rate_22000", rate_22000,
102 (GtkDestroyNotify) gtk_widget_unref); 104 (GtkDestroyNotify) gtk_widget_unref);
103 gtk_widget_show (rate_22000); 105 gtk_widget_show (rate_22000);
104 gtk_box_pack_start (GTK_BOX (vbox1), rate_22000, FALSE, FALSE, 0); 106 gtk_box_pack_start (GTK_BOX (vbox1), rate_22000, FALSE, FALSE, 0);
105 107
106 rate_44100 = gtk_radio_button_new_with_label (rate_group, "44100 Hz"); 108 rate_44100 = gtk_radio_button_new_with_label (rate_group, _("44100 Hz"));
107 rate_group = gtk_radio_button_group (GTK_RADIO_BUTTON (rate_44100)); 109 rate_group = gtk_radio_button_group (GTK_RADIO_BUTTON (rate_44100));
108 gtk_widget_ref (rate_44100); 110 gtk_widget_ref (rate_44100);
109 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "rate_44100", rate_44100, 111 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "rate_44100", rate_44100,
110 (GtkDestroyNotify) gtk_widget_unref); 112 (GtkDestroyNotify) gtk_widget_unref);
111 gtk_widget_show (rate_44100); 113 gtk_widget_show (rate_44100);
112 gtk_box_pack_start (GTK_BOX (vbox1), rate_44100, FALSE, FALSE, 0); 114 gtk_box_pack_start (GTK_BOX (vbox1), rate_44100, FALSE, FALSE, 0);
113 115
114 frame2 = gtk_frame_new ("Sample Width"); 116 frame2 = gtk_frame_new (_("Sample Width"));
115 gtk_widget_ref (frame2); 117 gtk_widget_ref (frame2);
116 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame2", frame2, 118 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame2", frame2,
117 (GtkDestroyNotify) gtk_widget_unref); 119 (GtkDestroyNotify) gtk_widget_unref);
118 gtk_widget_show (frame2); 120 gtk_widget_show (frame2);
119 gtk_table_attach (GTK_TABLE (table1), frame2, 1, 2, 1, 2, 121 gtk_table_attach (GTK_TABLE (table1), frame2, 1, 2, 1, 2,
126 (GtkDestroyNotify) gtk_widget_unref); 128 (GtkDestroyNotify) gtk_widget_unref);
127 gtk_widget_show (vbox2); 129 gtk_widget_show (vbox2);
128 gtk_container_add (GTK_CONTAINER (frame2), vbox2); 130 gtk_container_add (GTK_CONTAINER (frame2), vbox2);
129 gtk_container_set_border_width (GTK_CONTAINER (vbox2), 5); 131 gtk_container_set_border_width (GTK_CONTAINER (vbox2), 5);
130 132
131 bits_8 = gtk_radio_button_new_with_label (bits_group, "8 bit"); 133 bits_8 = gtk_radio_button_new_with_label (bits_group, _("8 bit"));
132 bits_group = gtk_radio_button_group (GTK_RADIO_BUTTON (bits_8)); 134 bits_group = gtk_radio_button_group (GTK_RADIO_BUTTON (bits_8));
133 gtk_widget_ref (bits_8); 135 gtk_widget_ref (bits_8);
134 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "bits_8", bits_8, 136 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "bits_8", bits_8,
135 (GtkDestroyNotify) gtk_widget_unref); 137 (GtkDestroyNotify) gtk_widget_unref);
136 gtk_widget_show (bits_8); 138 gtk_widget_show (bits_8);
137 gtk_box_pack_start (GTK_BOX (vbox2), bits_8, FALSE, FALSE, 0); 139 gtk_box_pack_start (GTK_BOX (vbox2), bits_8, FALSE, FALSE, 0);
138 140
139 bits_16 = gtk_radio_button_new_with_label (bits_group, "16 bit"); 141 bits_16 = gtk_radio_button_new_with_label (bits_group, _("16 bit"));
140 bits_group = gtk_radio_button_group (GTK_RADIO_BUTTON (bits_16)); 142 bits_group = gtk_radio_button_group (GTK_RADIO_BUTTON (bits_16));
141 gtk_widget_ref (bits_16); 143 gtk_widget_ref (bits_16);
142 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "bits_16", bits_16, 144 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "bits_16", bits_16,
143 (GtkDestroyNotify) gtk_widget_unref); 145 (GtkDestroyNotify) gtk_widget_unref);
144 gtk_widget_show (bits_16); 146 gtk_widget_show (bits_16);
145 gtk_box_pack_start (GTK_BOX (vbox2), bits_16, FALSE, FALSE, 0); 147 gtk_box_pack_start (GTK_BOX (vbox2), bits_16, FALSE, FALSE, 0);
146 148
147 frame3 = gtk_frame_new ("Channels"); 149 frame3 = gtk_frame_new (_("Channels"));
148 gtk_widget_ref (frame3); 150 gtk_widget_ref (frame3);
149 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame3", frame3, 151 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame3", frame3,
150 (GtkDestroyNotify) gtk_widget_unref); 152 (GtkDestroyNotify) gtk_widget_unref);
151 gtk_widget_show (frame3); 153 gtk_widget_show (frame3);
152 gtk_table_attach (GTK_TABLE (table1), frame3, 0, 1, 2, 3, 154 gtk_table_attach (GTK_TABLE (table1), frame3, 0, 1, 2, 3,
159 (GtkDestroyNotify) gtk_widget_unref); 161 (GtkDestroyNotify) gtk_widget_unref);
160 gtk_widget_show (vbox3); 162 gtk_widget_show (vbox3);
161 gtk_container_add (GTK_CONTAINER (frame3), vbox3); 163 gtk_container_add (GTK_CONTAINER (frame3), vbox3);
162 gtk_container_set_border_width (GTK_CONTAINER (vbox3), 5); 164 gtk_container_set_border_width (GTK_CONTAINER (vbox3), 5);
163 165
164 channels_1 = gtk_radio_button_new_with_label (channels_group, "Mono"); 166 channels_1 = gtk_radio_button_new_with_label (channels_group, _("Mono"));
165 channels_group = gtk_radio_button_group (GTK_RADIO_BUTTON (channels_1)); 167 channels_group = gtk_radio_button_group (GTK_RADIO_BUTTON (channels_1));
166 gtk_widget_ref (channels_1); 168 gtk_widget_ref (channels_1);
167 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "channels_1", channels_1, 169 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "channels_1", channels_1,
168 (GtkDestroyNotify) gtk_widget_unref); 170 (GtkDestroyNotify) gtk_widget_unref);
169 gtk_widget_show (channels_1); 171 gtk_widget_show (channels_1);
170 gtk_box_pack_start (GTK_BOX (vbox3), channels_1, FALSE, FALSE, 0); 172 gtk_box_pack_start (GTK_BOX (vbox3), channels_1, FALSE, FALSE, 0);
171 173
172 channels_2 = gtk_radio_button_new_with_label (channels_group, "Stereo"); 174 channels_2 = gtk_radio_button_new_with_label (channels_group, _("Stereo"));
173 channels_group = gtk_radio_button_group (GTK_RADIO_BUTTON (channels_2)); 175 channels_group = gtk_radio_button_group (GTK_RADIO_BUTTON (channels_2));
174 gtk_widget_ref (channels_2); 176 gtk_widget_ref (channels_2);
175 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "channels_2", channels_2, 177 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "channels_2", channels_2,
176 (GtkDestroyNotify) gtk_widget_unref); 178 (GtkDestroyNotify) gtk_widget_unref);
177 gtk_widget_show (channels_2); 179 gtk_widget_show (channels_2);
178 gtk_box_pack_start (GTK_BOX (vbox3), channels_2, FALSE, FALSE, 0); 180 gtk_box_pack_start (GTK_BOX (vbox3), channels_2, FALSE, FALSE, 0);
179 181
180 frame4 = gtk_frame_new ("TiMidity Configuration File"); 182 frame4 = gtk_frame_new (_("TiMidity Configuration File"));
181 gtk_widget_ref (frame4); 183 gtk_widget_ref (frame4);
182 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame4", frame4, 184 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "frame4", frame4,
183 (GtkDestroyNotify) gtk_widget_unref); 185 (GtkDestroyNotify) gtk_widget_unref);
184 gtk_widget_show (frame4); 186 gtk_widget_show (frame4);
185 gtk_table_attach (GTK_TABLE (table1), frame4, 0, 2, 0, 1, 187 gtk_table_attach (GTK_TABLE (table1), frame4, 0, 2, 0, 1,
216 gtk_box_pack_start (GTK_BOX (vbox4), hbuttonbox1, TRUE, TRUE, 0); 218 gtk_box_pack_start (GTK_BOX (vbox4), hbuttonbox1, TRUE, TRUE, 0);
217 gtk_container_set_border_width (GTK_CONTAINER (hbuttonbox1), 5); 219 gtk_container_set_border_width (GTK_CONTAINER (hbuttonbox1), 5);
218 gtk_button_box_set_layout (GTK_BUTTON_BOX (hbuttonbox1), GTK_BUTTONBOX_END); 220 gtk_button_box_set_layout (GTK_BUTTON_BOX (hbuttonbox1), GTK_BUTTONBOX_END);
219 gtk_button_box_set_spacing (GTK_BUTTON_BOX (hbuttonbox1), 10); 221 gtk_button_box_set_spacing (GTK_BUTTON_BOX (hbuttonbox1), 10);
220 222
221 conf_ok = gtk_button_new_with_label ("Ok"); 223 conf_ok = gtk_button_new_with_label (_("Ok"));
222 gtk_widget_ref (conf_ok); 224 gtk_widget_ref (conf_ok);
223 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "conf_ok", conf_ok, 225 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "conf_ok", conf_ok,
224 (GtkDestroyNotify) gtk_widget_unref); 226 (GtkDestroyNotify) gtk_widget_unref);
225 gtk_widget_show (conf_ok); 227 gtk_widget_show (conf_ok);
226 gtk_container_add (GTK_CONTAINER (hbuttonbox1), conf_ok); 228 gtk_container_add (GTK_CONTAINER (hbuttonbox1), conf_ok);
227 GTK_WIDGET_SET_FLAGS (conf_ok, GTK_CAN_DEFAULT); 229 GTK_WIDGET_SET_FLAGS (conf_ok, GTK_CAN_DEFAULT);
228 230
229 button2 = gtk_button_new_with_label ("Cancel"); 231 button2 = gtk_button_new_with_label (_("Cancel"));
230 gtk_widget_ref (button2); 232 gtk_widget_ref (button2);
231 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "button2", button2, 233 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_conf_wnd), "button2", button2,
232 (GtkDestroyNotify) gtk_widget_unref); 234 (GtkDestroyNotify) gtk_widget_unref);
233 gtk_widget_show (button2); 235 gtk_widget_show (button2);
234 gtk_container_add (GTK_CONTAINER (hbuttonbox1), button2); 236 gtk_container_add (GTK_CONTAINER (hbuttonbox1), button2);
255 GtkWidget *hbuttonbox2; 257 GtkWidget *hbuttonbox2;
256 GtkWidget *button3; 258 GtkWidget *button3;
257 259
258 xmmstimid_about_wnd = gtk_window_new (GTK_WINDOW_TOPLEVEL); 260 xmmstimid_about_wnd = gtk_window_new (GTK_WINDOW_TOPLEVEL);
259 gtk_object_set_data (GTK_OBJECT (xmmstimid_about_wnd), "xmmstimid_about_wnd", xmmstimid_about_wnd); 261 gtk_object_set_data (GTK_OBJECT (xmmstimid_about_wnd), "xmmstimid_about_wnd", xmmstimid_about_wnd);
260 gtk_window_set_title (GTK_WINDOW (xmmstimid_about_wnd), "About TiMidity Plugin"); 262 gtk_window_set_title (GTK_WINDOW (xmmstimid_about_wnd), _("About TiMidity Plugin"));
261 gtk_window_set_position (GTK_WINDOW (xmmstimid_about_wnd), GTK_WIN_POS_MOUSE); 263 gtk_window_set_position (GTK_WINDOW (xmmstimid_about_wnd), GTK_WIN_POS_MOUSE);
262 264
263 vbox6 = gtk_vbox_new (FALSE, 0); 265 vbox6 = gtk_vbox_new (FALSE, 0);
264 gtk_widget_ref (vbox6); 266 gtk_widget_ref (vbox6);
265 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "vbox6", vbox6, 267 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "vbox6", vbox6,
273 (GtkDestroyNotify) gtk_widget_unref); 275 (GtkDestroyNotify) gtk_widget_unref);
274 gtk_widget_show (vbox7); 276 gtk_widget_show (vbox7);
275 gtk_box_pack_start (GTK_BOX (vbox6), vbox7, TRUE, TRUE, 0); 277 gtk_box_pack_start (GTK_BOX (vbox6), vbox7, TRUE, TRUE, 0);
276 gtk_container_set_border_width (GTK_CONTAINER (vbox7), 20); 278 gtk_container_set_border_width (GTK_CONTAINER (vbox7), 20);
277 279
278 name_version = gtk_label_new ("TiMidity Plugin"); 280 name_version = gtk_label_new (_("TiMidity Plugin"));
279 gtk_widget_ref (name_version); 281 gtk_widget_ref (name_version);
280 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "name_version", name_version, 282 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "name_version", name_version,
281 (GtkDestroyNotify) gtk_widget_unref); 283 (GtkDestroyNotify) gtk_widget_unref);
282 gtk_widget_show (name_version); 284 gtk_widget_show (name_version);
283 gtk_box_pack_start (GTK_BOX (vbox7), name_version, TRUE, TRUE, 0); 285 gtk_box_pack_start (GTK_BOX (vbox7), name_version, TRUE, TRUE, 0);
284 gtk_misc_set_alignment (GTK_MISC (name_version), 0.5, 1); 286 gtk_misc_set_alignment (GTK_MISC (name_version), 0.5, 1);
285 287
286 label2 = gtk_label_new ("http://libtimidity.sourceforge.net\nby Konstantin Korikov"); 288 label2 = gtk_label_new (_("http://libtimidity.sourceforge.net\nby Konstantin Korikov"));
287 gtk_widget_ref (label2); 289 gtk_widget_ref (label2);
288 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "label2", label2, 290 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "label2", label2,
289 (GtkDestroyNotify) gtk_widget_unref); 291 (GtkDestroyNotify) gtk_widget_unref);
290 gtk_widget_show (label2); 292 gtk_widget_show (label2);
291 gtk_box_pack_start (GTK_BOX (vbox7), label2, TRUE, TRUE, 0); 293 gtk_box_pack_start (GTK_BOX (vbox7), label2, TRUE, TRUE, 0);
305 gtk_widget_show (hbuttonbox2); 307 gtk_widget_show (hbuttonbox2);
306 gtk_box_pack_start (GTK_BOX (vbox6), hbuttonbox2, FALSE, TRUE, 0); 308 gtk_box_pack_start (GTK_BOX (vbox6), hbuttonbox2, FALSE, TRUE, 0);
307 gtk_container_set_border_width (GTK_CONTAINER (hbuttonbox2), 5); 309 gtk_container_set_border_width (GTK_CONTAINER (hbuttonbox2), 5);
308 gtk_button_box_set_layout (GTK_BUTTON_BOX (hbuttonbox2), GTK_BUTTONBOX_END); 310 gtk_button_box_set_layout (GTK_BUTTON_BOX (hbuttonbox2), GTK_BUTTONBOX_END);
309 311
310 button3 = gtk_button_new_with_label ("Ok"); 312 button3 = gtk_button_new_with_label (_("Ok"));
311 gtk_widget_ref (button3); 313 gtk_widget_ref (button3);
312 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "button3", button3, 314 gtk_object_set_data_full (GTK_OBJECT (xmmstimid_about_wnd), "button3", button3,
313 (GtkDestroyNotify) gtk_widget_unref); 315 (GtkDestroyNotify) gtk_widget_unref);
314 gtk_widget_show (button3); 316 gtk_widget_show (button3);
315 gtk_container_add (GTK_CONTAINER (hbuttonbox2), button3); 317 gtk_container_add (GTK_CONTAINER (hbuttonbox2), button3);