Blame view

lib/crc32.c 9.06 KB
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
1
  /*
78dff4189   Bob Pearson   crc32: add note a...
2
3
4
5
   * Aug 8, 2011 Bob Pearson with help from Joakim Tjernlund and George Spelvin
   * cleaned up code to current version of sparse and added the slicing-by-8
   * algorithm to the closely similar existing slicing-by-4 algorithm.
   *
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
   * Oct 15, 2000 Matt Domsch <Matt_Domsch@dell.com>
   * Nicer crc32 functions/docs submitted by linux@horizon.com.  Thanks!
   * Code was from the public domain, copyright abandoned.  Code was
   * subsequently included in the kernel, thus was re-licensed under the
   * GNU GPL v2.
   *
   * Oct 12, 2000 Matt Domsch <Matt_Domsch@dell.com>
   * Same crc32 function was used in 5 other places in the kernel.
   * I made one version, and deleted the others.
   * There are various incantations of crc32().  Some use a seed of 0 or ~0.
   * Some xor at the end with ~0.  The generic crc32() function takes
   * seed as an argument, and doesn't xor at the end.  Then individual
   * users can do whatever they need.
   *   drivers/net/smc9194.c uses seed ~0, doesn't xor with ~0.
   *   fs/jffs2 uses seed 0, doesn't xor with ~0.
   *   fs/partitions/efi.c uses seed ~0, xor's with ~0.
   *
   * This source code is licensed under the GNU General Public License,
   * Version 2.  See the file COPYING for more details.
   */
fbedceb10   Bob Pearson   crc32: move long ...
26
  /* see: Documentation/crc32.txt for a description of algorithms */
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
27
  #include <linux/crc32.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
28
  #include <linux/module.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
29
  #include <linux/types.h>
cc0ac1999   Daniel Borkmann   lib: crc32: condi...
30
  #include <linux/sched.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
31
  #include "crc32defs.h"
60e58d5c9   Bob Pearson   crc32: miscellane...
32

9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
33
  #if CRC_LE_BITS > 8
38b4fe5fc   Fabian Frederick   lib/crc32.c: remo...
34
  # define tole(x) ((__force u32) cpu_to_le32(x))
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
35
  #else
4f2a9463d   Joakim Tjernlund   crc32: some minor...
36
37
  # define tole(x) (x)
  #endif
9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
38
  #if CRC_BE_BITS > 8
38b4fe5fc   Fabian Frederick   lib/crc32.c: remo...
39
  # define tobe(x) ((__force u32) cpu_to_be32(x))
4f2a9463d   Joakim Tjernlund   crc32: some minor...
40
41
  #else
  # define tobe(x) (x)
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
42
  #endif
60e58d5c9   Bob Pearson   crc32: miscellane...
43

1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
44
45
46
  #include "crc32table.h"
  
  MODULE_AUTHOR("Matt Domsch <Matt_Domsch@dell.com>");
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
47
  MODULE_DESCRIPTION("Various CRC32 calculations");
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
48
  MODULE_LICENSE("GPL");
9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
49
  #if CRC_LE_BITS > 8 || CRC_BE_BITS > 8
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
50

324eb0f17   Bob Pearson   crc32: add slice-...
51
  /* implements slicing-by-4 or slicing-by-8 algorithm */
d8f1c4778   George Spelvin   lib: crc32: Add s...
52
  static inline u32 __pure
836e2af92   Joakim Tjernlund   crc32: major opti...
53
  crc32_body(u32 crc, unsigned char const *buf, size_t len, const u32 (*tab)[256])
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
54
  {
0d2daf5cc   Andrew Morton   revert "crc32: us...
55
  # ifdef __LITTLE_ENDIAN
5742332de   Joakim Tjernlund   crc32: optimize i...
56
  #  define DO_CRC(x) crc = t0[(crc ^ (x)) & 255] ^ (crc >> 8)
324eb0f17   Bob Pearson   crc32: add slice-...
57
58
59
60
  #  define DO_CRC4 (t3[(q) & 255] ^ t2[(q >> 8) & 255] ^ \
  		   t1[(q >> 16) & 255] ^ t0[(q >> 24) & 255])
  #  define DO_CRC8 (t7[(q) & 255] ^ t6[(q >> 8) & 255] ^ \
  		   t5[(q >> 16) & 255] ^ t4[(q >> 24) & 255])
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
61
  # else
5742332de   Joakim Tjernlund   crc32: optimize i...
62
  #  define DO_CRC(x) crc = t0[((crc >> 24) ^ (x)) & 255] ^ (crc << 8)
324eb0f17   Bob Pearson   crc32: add slice-...
63
64
65
66
  #  define DO_CRC4 (t0[(q) & 255] ^ t1[(q >> 8) & 255] ^ \
  		   t2[(q >> 16) & 255] ^ t3[(q >> 24) & 255])
  #  define DO_CRC8 (t4[(q) & 255] ^ t5[(q >> 8) & 255] ^ \
  		   t6[(q >> 16) & 255] ^ t7[(q >> 24) & 255])
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
67
  # endif
4f2a9463d   Joakim Tjernlund   crc32: some minor...
68
  	const u32 *b;
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
69
  	size_t    rem_len;
0292c497b   Bob Pearson   crc32: optimize l...
70
71
72
  # ifdef CONFIG_X86
  	size_t i;
  # endif
5742332de   Joakim Tjernlund   crc32: optimize i...
73
  	const u32 *t0=tab[0], *t1=tab[1], *t2=tab[2], *t3=tab[3];
49ac572b9   Thiago Rafael Becker   lib/crc32.c: fix ...
74
  # if CRC_LE_BITS != 32
324eb0f17   Bob Pearson   crc32: add slice-...
75
  	const u32 *t4 = tab[4], *t5 = tab[5], *t6 = tab[6], *t7 = tab[7];
49ac572b9   Thiago Rafael Becker   lib/crc32.c: fix ...
76
  # endif
324eb0f17   Bob Pearson   crc32: add slice-...
77
  	u32 q;
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
78
79
  
  	/* Align it */
4f2a9463d   Joakim Tjernlund   crc32: some minor...
80
  	if (unlikely((long)buf & 3 && len)) {
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
81
  		do {
4f2a9463d   Joakim Tjernlund   crc32: some minor...
82
83
  			DO_CRC(*buf++);
  		} while ((--len) && ((long)buf)&3);
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
84
  	}
324eb0f17   Bob Pearson   crc32: add slice-...
85
86
  
  # if CRC_LE_BITS == 32
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
87
  	rem_len = len & 3;
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
88
  	len = len >> 2;
324eb0f17   Bob Pearson   crc32: add slice-...
89
90
91
92
  # else
  	rem_len = len & 7;
  	len = len >> 3;
  # endif
4f2a9463d   Joakim Tjernlund   crc32: some minor...
93
  	b = (const u32 *)buf;
0292c497b   Bob Pearson   crc32: optimize l...
94
95
96
97
  # ifdef CONFIG_X86
  	--b;
  	for (i = 0; i < len; i++) {
  # else
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
98
  	for (--b; len; --len) {
0292c497b   Bob Pearson   crc32: optimize l...
99
  # endif
324eb0f17   Bob Pearson   crc32: add slice-...
100
101
102
103
104
105
106
107
  		q = crc ^ *++b; /* use pre increment for speed */
  # if CRC_LE_BITS == 32
  		crc = DO_CRC4;
  # else
  		crc = DO_CRC8;
  		q = *++b;
  		crc ^= DO_CRC4;
  # endif
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
108
109
110
111
112
  	}
  	len = rem_len;
  	/* And the last few bytes */
  	if (len) {
  		u8 *p = (u8 *)(b + 1) - 1;
0292c497b   Bob Pearson   crc32: optimize l...
113
114
115
116
  # ifdef CONFIG_X86
  		for (i = 0; i < len; i++)
  			DO_CRC(*++p); /* use pre increment for speed */
  # else
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
117
118
119
  		do {
  			DO_CRC(*++p); /* use pre increment for speed */
  		} while (--len);
0292c497b   Bob Pearson   crc32: optimize l...
120
  # endif
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
121
122
  	}
  	return crc;
4f2a9463d   Joakim Tjernlund   crc32: some minor...
123
  #undef DO_CRC
836e2af92   Joakim Tjernlund   crc32: major opti...
124
  #undef DO_CRC4
324eb0f17   Bob Pearson   crc32: add slice-...
125
  #undef DO_CRC8
ddcaccbc1   Joakim Tjernlund   crc32: minor opti...
126
127
  }
  #endif
60e58d5c9   Bob Pearson   crc32: miscellane...
128

6e95fcaa4   Daniel Borkmann   lib: crc32: add f...
129

2f72100c0   Randy Dunlap   [PATCH] kernel-do...
130
  /**
f2e1d2ac3   Gu Zheng   lib/crc32: update...
131
132
133
134
135
   * crc32_le_generic() - Calculate bitwise little-endian Ethernet AUTODIN II
   *			CRC32/CRC32C
   * @crc: seed value for computation.  ~0 for Ethernet, sometimes 0 for other
   *	 uses, or the previous crc32/crc32c value if computing incrementally.
   * @p: pointer to buffer over which CRC32/CRC32C is run
2f72100c0   Randy Dunlap   [PATCH] kernel-do...
136
   * @len: length of buffer @p
f2e1d2ac3   Gu Zheng   lib/crc32: update...
137
138
   * @tab: little-endian Ethernet table
   * @polynomial: CRC32/CRC32c LE polynomial
2f72100c0   Randy Dunlap   [PATCH] kernel-do...
139
   */
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
140
141
142
  static inline u32 __pure crc32_le_generic(u32 crc, unsigned char const *p,
  					  size_t len, const u32 (*tab)[256],
  					  u32 polynomial)
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
143
  {
60e58d5c9   Bob Pearson   crc32: miscellane...
144
  #if CRC_LE_BITS == 1
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
145
146
147
148
  	int i;
  	while (len--) {
  		crc ^= *p++;
  		for (i = 0; i < 8; i++)
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
149
  			crc = (crc >> 1) ^ ((crc & 1) ? polynomial : 0);
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
150
  	}
60e58d5c9   Bob Pearson   crc32: miscellane...
151
  # elif CRC_LE_BITS == 2
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
152
153
  	while (len--) {
  		crc ^= *p++;
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
154
155
156
157
  		crc = (crc >> 2) ^ tab[0][crc & 3];
  		crc = (crc >> 2) ^ tab[0][crc & 3];
  		crc = (crc >> 2) ^ tab[0][crc & 3];
  		crc = (crc >> 2) ^ tab[0][crc & 3];
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
158
  	}
60e58d5c9   Bob Pearson   crc32: miscellane...
159
  # elif CRC_LE_BITS == 4
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
160
161
  	while (len--) {
  		crc ^= *p++;
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
162
163
  		crc = (crc >> 4) ^ tab[0][crc & 15];
  		crc = (crc >> 4) ^ tab[0][crc & 15];
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
164
  	}
60e58d5c9   Bob Pearson   crc32: miscellane...
165
  # elif CRC_LE_BITS == 8
9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
166
167
168
  	/* aka Sarwate algorithm */
  	while (len--) {
  		crc ^= *p++;
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
169
  		crc = (crc >> 8) ^ tab[0][crc & 255];
9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
170
171
  	}
  # else
ce4320ddd   Bob Pearson   crc32: fix mixing...
172
  	crc = (__force u32) __cpu_to_le32(crc);
60e58d5c9   Bob Pearson   crc32: miscellane...
173
  	crc = crc32_body(crc, p, len, tab);
ce4320ddd   Bob Pearson   crc32: fix mixing...
174
  	crc = __le32_to_cpu((__force __le32)crc);
60e58d5c9   Bob Pearson   crc32: miscellane...
175
  #endif
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
176
  	return crc;
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
177
  }
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
178
179
180
181
182
183
184
185
186
187
188
189
190
  
  #if CRC_LE_BITS == 1
  u32 __pure crc32_le(u32 crc, unsigned char const *p, size_t len)
  {
  	return crc32_le_generic(crc, p, len, NULL, CRCPOLY_LE);
  }
  u32 __pure __crc32c_le(u32 crc, unsigned char const *p, size_t len)
  {
  	return crc32_le_generic(crc, p, len, NULL, CRC32C_POLY_LE);
  }
  #else
  u32 __pure crc32_le(u32 crc, unsigned char const *p, size_t len)
  {
8f243af42   Joe Mario   sections: fix con...
191
192
  	return crc32_le_generic(crc, p, len,
  			(const u32 (*)[256])crc32table_le, CRCPOLY_LE);
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
193
194
195
  }
  u32 __pure __crc32c_le(u32 crc, unsigned char const *p, size_t len)
  {
8f243af42   Joe Mario   sections: fix con...
196
197
  	return crc32_le_generic(crc, p, len,
  			(const u32 (*)[256])crc32ctable_le, CRC32C_POLY_LE);
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
198
199
  }
  #endif
6d514b4e7   George Spelvin   lib: crc32: Great...
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
  EXPORT_SYMBOL(crc32_le);
  EXPORT_SYMBOL(__crc32c_le);
  
  /*
   * This multiplies the polynomials x and y modulo the given modulus.
   * This follows the "little-endian" CRC convention that the lsbit
   * represents the highest power of x, and the msbit represents x^0.
   */
  static u32 __attribute_const__ gf2_multiply(u32 x, u32 y, u32 modulus)
  {
  	u32 product = x & 1 ? y : 0;
  	int i;
  
  	for (i = 0; i < 31; i++) {
  		product = (product >> 1) ^ (product & 1 ? modulus : 0);
  		x >>= 1;
  		product ^= x & 1 ? y : 0;
  	}
  
  	return product;
  }
  
  /**
   * crc32_generic_shift - Append len 0 bytes to crc, in logarithmic time
   * @crc: The original little-endian CRC (i.e. lsbit is x^31 coefficient)
   * @len: The number of bytes. @crc is multiplied by x^(8*@len)
   * @polynomial: The modulus used to reduce the result to 32 bits.
   *
   * It's possible to parallelize CRC computations by computing a CRC
   * over separate ranges of a buffer, then summing them.
   * This shifts the given CRC by 8*len bits (i.e. produces the same effect
   * as appending len bytes of zero to the data), in time proportional
   * to log(len).
   */
  static u32 __attribute_const__ crc32_generic_shift(u32 crc, size_t len,
  						   u32 polynomial)
  {
  	u32 power = polynomial;	/* CRC of x^32 */
  	int i;
  
  	/* Shift up to 32 bits in the simple linear way */
  	for (i = 0; i < 8 * (int)(len & 3); i++)
  		crc = (crc >> 1) ^ (crc & 1 ? polynomial : 0);
  
  	len >>= 2;
  	if (!len)
  		return crc;
  
  	for (;;) {
  		/* "power" is x^(2^i), modulo the polynomial */
  		if (len & 1)
  			crc = gf2_multiply(crc, power, polynomial);
  
  		len >>= 1;
  		if (!len)
  			break;
  
  		/* Square power, advancing to x^(2^(i+1)) */
  		power = gf2_multiply(power, power, polynomial);
  	}
  
  	return crc;
  }
  
  u32 __attribute_const__ crc32_le_shift(u32 crc, size_t len)
6e95fcaa4   Daniel Borkmann   lib: crc32: add f...
265
  {
6d514b4e7   George Spelvin   lib: crc32: Great...
266
  	return crc32_generic_shift(crc, len, CRCPOLY_LE);
6e95fcaa4   Daniel Borkmann   lib: crc32: add f...
267
  }
6d514b4e7   George Spelvin   lib: crc32: Great...
268
  u32 __attribute_const__ __crc32c_le_shift(u32 crc, size_t len)
6e95fcaa4   Daniel Borkmann   lib: crc32: add f...
269
  {
6d514b4e7   George Spelvin   lib: crc32: Great...
270
  	return crc32_generic_shift(crc, len, CRC32C_POLY_LE);
6e95fcaa4   Daniel Borkmann   lib: crc32: add f...
271
  }
6d514b4e7   George Spelvin   lib: crc32: Great...
272
273
  EXPORT_SYMBOL(crc32_le_shift);
  EXPORT_SYMBOL(__crc32c_le_shift);
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
274

2f72100c0   Randy Dunlap   [PATCH] kernel-do...
275
  /**
f2e1d2ac3   Gu Zheng   lib/crc32: update...
276
   * crc32_be_generic() - Calculate bitwise big-endian Ethernet AUTODIN II CRC32
2f72100c0   Randy Dunlap   [PATCH] kernel-do...
277
278
   * @crc: seed value for computation.  ~0 for Ethernet, sometimes 0 for
   *	other uses, or the previous crc32 value if computing incrementally.
f2e1d2ac3   Gu Zheng   lib/crc32: update...
279
   * @p: pointer to buffer over which CRC32 is run
2f72100c0   Randy Dunlap   [PATCH] kernel-do...
280
   * @len: length of buffer @p
f2e1d2ac3   Gu Zheng   lib/crc32: update...
281
282
   * @tab: big-endian Ethernet table
   * @polynomial: CRC32 BE polynomial
2f72100c0   Randy Dunlap   [PATCH] kernel-do...
283
   */
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
284
285
286
  static inline u32 __pure crc32_be_generic(u32 crc, unsigned char const *p,
  					  size_t len, const u32 (*tab)[256],
  					  u32 polynomial)
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
287
  {
60e58d5c9   Bob Pearson   crc32: miscellane...
288
  #if CRC_BE_BITS == 1
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
289
290
291
292
293
  	int i;
  	while (len--) {
  		crc ^= *p++ << 24;
  		for (i = 0; i < 8; i++)
  			crc =
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
294
  			    (crc << 1) ^ ((crc & 0x80000000) ? polynomial :
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
295
296
  					  0);
  	}
60e58d5c9   Bob Pearson   crc32: miscellane...
297
  # elif CRC_BE_BITS == 2
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
298
299
  	while (len--) {
  		crc ^= *p++ << 24;
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
300
301
302
303
  		crc = (crc << 2) ^ tab[0][crc >> 30];
  		crc = (crc << 2) ^ tab[0][crc >> 30];
  		crc = (crc << 2) ^ tab[0][crc >> 30];
  		crc = (crc << 2) ^ tab[0][crc >> 30];
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
304
  	}
60e58d5c9   Bob Pearson   crc32: miscellane...
305
  # elif CRC_BE_BITS == 4
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
306
307
  	while (len--) {
  		crc ^= *p++ << 24;
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
308
309
  		crc = (crc << 4) ^ tab[0][crc >> 28];
  		crc = (crc << 4) ^ tab[0][crc >> 28];
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
310
  	}
60e58d5c9   Bob Pearson   crc32: miscellane...
311
  # elif CRC_BE_BITS == 8
9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
312
313
  	while (len--) {
  		crc ^= *p++ << 24;
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
314
  		crc = (crc << 8) ^ tab[0][crc >> 24];
9a1dbf6a2   Bob Pearson   crc32: make CRC_*...
315
316
  	}
  # else
ce4320ddd   Bob Pearson   crc32: fix mixing...
317
  	crc = (__force u32) __cpu_to_be32(crc);
60e58d5c9   Bob Pearson   crc32: miscellane...
318
  	crc = crc32_body(crc, p, len, tab);
ce4320ddd   Bob Pearson   crc32: fix mixing...
319
  	crc = __be32_to_cpu((__force __be32)crc);
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
320
  # endif
60e58d5c9   Bob Pearson   crc32: miscellane...
321
  	return crc;
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
322
  }
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
323
324
325
326
327
328
329
330
331
  
  #if CRC_LE_BITS == 1
  u32 __pure crc32_be(u32 crc, unsigned char const *p, size_t len)
  {
  	return crc32_be_generic(crc, p, len, NULL, CRCPOLY_BE);
  }
  #else
  u32 __pure crc32_be(u32 crc, unsigned char const *p, size_t len)
  {
8f243af42   Joe Mario   sections: fix con...
332
333
  	return crc32_be_generic(crc, p, len,
  			(const u32 (*)[256])crc32table_be, CRCPOLY_BE);
46c5801ea   Darrick J. Wong   crc32: bolt on cr...
334
335
  }
  #endif
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
336
  EXPORT_SYMBOL(crc32_be);