4 * Copyright (C) 1991, 1992 Linus Torvalds
7 #include <linux/string.h>
9 #include <linux/file.h>
10 #include <linux/quotaops.h>
11 #include <linux/fsnotify.h>
12 #include <linux/module.h>
13 #include <linux/slab.h>
14 #include <linux/tty.h>
15 #include <linux/namei.h>
16 #include <linux/backing-dev.h>
17 #include <linux/capability.h>
18 #include <linux/security.h>
19 #include <linux/mount.h>
20 #include <linux/vfs.h>
21 #include <linux/fcntl.h>
22 #include <asm/uaccess.h>
24 #include <linux/personality.h>
25 #include <linux/pagemap.h>
26 #include <linux/syscalls.h>
27 #include <linux/rcupdate.h>
28 #include <linux/audit.h>
30 int vfs_statfs(struct dentry *dentry, struct kstatfs *buf)
36 if (dentry->d_sb->s_op->statfs) {
37 memset(buf, 0, sizeof(*buf));
38 retval = security_sb_statfs(dentry);
41 retval = dentry->d_sb->s_op->statfs(dentry, buf);
42 if (retval == 0 && buf->f_frsize == 0)
43 buf->f_frsize = buf->f_bsize;
49 EXPORT_SYMBOL(vfs_statfs);
51 static int vfs_statfs_native(struct dentry *dentry, struct statfs *buf)
56 retval = vfs_statfs(dentry, &st);
60 if (sizeof(*buf) == sizeof(st))
61 memcpy(buf, &st, sizeof(st));
63 if (sizeof buf->f_blocks == 4) {
64 if ((st.f_blocks | st.f_bfree | st.f_bavail) &
65 0xffffffff00000000ULL)
68 * f_files and f_ffree may be -1; it's okay to stuff
71 if (st.f_files != -1 &&
72 (st.f_files & 0xffffffff00000000ULL))
74 if (st.f_ffree != -1 &&
75 (st.f_ffree & 0xffffffff00000000ULL))
79 buf->f_type = st.f_type;
80 buf->f_bsize = st.f_bsize;
81 buf->f_blocks = st.f_blocks;
82 buf->f_bfree = st.f_bfree;
83 buf->f_bavail = st.f_bavail;
84 buf->f_files = st.f_files;
85 buf->f_ffree = st.f_ffree;
86 buf->f_fsid = st.f_fsid;
87 buf->f_namelen = st.f_namelen;
88 buf->f_frsize = st.f_frsize;
89 memset(buf->f_spare, 0, sizeof(buf->f_spare));
94 static int vfs_statfs64(struct dentry *dentry, struct statfs64 *buf)
99 retval = vfs_statfs(dentry, &st);
103 if (sizeof(*buf) == sizeof(st))
104 memcpy(buf, &st, sizeof(st));
106 buf->f_type = st.f_type;
107 buf->f_bsize = st.f_bsize;
108 buf->f_blocks = st.f_blocks;
109 buf->f_bfree = st.f_bfree;
110 buf->f_bavail = st.f_bavail;
111 buf->f_files = st.f_files;
112 buf->f_ffree = st.f_ffree;
113 buf->f_fsid = st.f_fsid;
114 buf->f_namelen = st.f_namelen;
115 buf->f_frsize = st.f_frsize;
116 memset(buf->f_spare, 0, sizeof(buf->f_spare));
121 asmlinkage long sys_statfs(const char __user * path, struct statfs __user * buf)
126 error = user_path_walk(path, &nd);
129 error = vfs_statfs_native(nd.dentry, &tmp);
130 if (!error && copy_to_user(buf, &tmp, sizeof(tmp)))
138 asmlinkage long sys_statfs64(const char __user *path, size_t sz, struct statfs64 __user *buf)
143 if (sz != sizeof(*buf))
145 error = user_path_walk(path, &nd);
148 error = vfs_statfs64(nd.dentry, &tmp);
149 if (!error && copy_to_user(buf, &tmp, sizeof(tmp)))
157 asmlinkage long sys_fstatfs(unsigned int fd, struct statfs __user * buf)
167 error = vfs_statfs_native(file->f_path.dentry, &tmp);
168 if (!error && copy_to_user(buf, &tmp, sizeof(tmp)))
175 asmlinkage long sys_fstatfs64(unsigned int fd, size_t sz, struct statfs64 __user *buf)
181 if (sz != sizeof(*buf))
188 error = vfs_statfs64(file->f_path.dentry, &tmp);
189 if (!error && copy_to_user(buf, &tmp, sizeof(tmp)))
196 int do_truncate(struct dentry *dentry, loff_t length, unsigned int time_attrs,
200 struct iattr newattrs;
202 /* Not pretty: "inode->i_size" shouldn't really be signed. But it is. */
206 newattrs.ia_size = length;
207 newattrs.ia_valid = ATTR_SIZE | time_attrs;
209 newattrs.ia_file = filp;
210 newattrs.ia_valid |= ATTR_FILE;
213 mutex_lock(&dentry->d_inode->i_mutex);
214 err = notify_change(dentry, &newattrs);
215 mutex_unlock(&dentry->d_inode->i_mutex);
219 static long do_sys_truncate(const char __user * path, loff_t length)
222 struct inode * inode;
226 if (length < 0) /* sorry, but loff_t says... */
229 error = user_path_walk(path, &nd);
232 inode = nd.dentry->d_inode;
234 /* For directories it's -EISDIR, for other non-regulars - -EINVAL */
236 if (S_ISDIR(inode->i_mode))
240 if (!S_ISREG(inode->i_mode))
243 error = vfs_permission(&nd, MAY_WRITE);
248 if (IS_RDONLY(inode))
252 if (IS_IMMUTABLE(inode) || IS_APPEND(inode))
256 * Make sure that there are no leases.
258 error = break_lease(inode, FMODE_WRITE);
262 error = get_write_access(inode);
266 error = locks_verify_truncate(inode, NULL, length);
269 error = do_truncate(nd.dentry, length, 0, NULL);
271 put_write_access(inode);
279 asmlinkage long sys_truncate(const char __user * path, unsigned long length)
281 /* on 32-bit boxen it will cut the range 2^31--2^32-1 off */
282 return do_sys_truncate(path, (long)length);
285 static long do_sys_ftruncate(unsigned int fd, loff_t length, int small)
287 struct inode * inode;
288 struct dentry *dentry;
300 /* explicitly opened as large or we are on 64-bit box */
301 if (file->f_flags & O_LARGEFILE)
304 dentry = file->f_path.dentry;
305 inode = dentry->d_inode;
307 if (!S_ISREG(inode->i_mode) || !(file->f_mode & FMODE_WRITE))
311 /* Cannot ftruncate over 2^31 bytes without large file support */
312 if (small && length > MAX_NON_LFS)
316 if (IS_APPEND(inode))
319 error = locks_verify_truncate(inode, file, length);
321 error = do_truncate(dentry, length, ATTR_MTIME|ATTR_CTIME, file);
328 asmlinkage long sys_ftruncate(unsigned int fd, unsigned long length)
330 long ret = do_sys_ftruncate(fd, length, 1);
331 /* avoid REGPARM breakage on x86: */
332 prevent_tail_call(ret);
336 /* LFS versions of truncate are only needed on 32 bit machines */
337 #if BITS_PER_LONG == 32
338 asmlinkage long sys_truncate64(const char __user * path, loff_t length)
340 return do_sys_truncate(path, length);
343 asmlinkage long sys_ftruncate64(unsigned int fd, loff_t length)
345 long ret = do_sys_ftruncate(fd, length, 0);
346 /* avoid REGPARM breakage on x86: */
347 prevent_tail_call(ret);
353 * access() needs to use the real uid/gid, not the effective uid/gid.
354 * We do this by temporarily clearing all FS-related capabilities and
355 * switching the fsuid/fsgid around to the real ones.
357 asmlinkage long sys_faccessat(int dfd, const char __user *filename, int mode)
360 int old_fsuid, old_fsgid;
361 kernel_cap_t old_cap;
364 if (mode & ~S_IRWXO) /* where's F_OK, X_OK, W_OK, R_OK? */
367 old_fsuid = current->fsuid;
368 old_fsgid = current->fsgid;
369 old_cap = current->cap_effective;
371 current->fsuid = current->uid;
372 current->fsgid = current->gid;
375 * Clear the capabilities if we switch to a non-root user
377 * FIXME: There is a race here against sys_capset. The
378 * capabilities can change yet we will restore the old
379 * value below. We should hold task_capabilities_lock,
380 * but we cannot because user_path_walk can sleep.
383 cap_clear(current->cap_effective);
385 current->cap_effective = current->cap_permitted;
387 res = __user_walk_fd(dfd, filename, LOOKUP_FOLLOW|LOOKUP_ACCESS, &nd);
391 res = vfs_permission(&nd, mode);
392 /* SuS v2 requires we report a read only fs too */
393 if(res || !(mode & S_IWOTH) ||
394 special_file(nd.dentry->d_inode->i_mode))
395 goto out_path_release;
397 if(IS_RDONLY(nd.dentry->d_inode))
403 current->fsuid = old_fsuid;
404 current->fsgid = old_fsgid;
405 current->cap_effective = old_cap;
410 asmlinkage long sys_access(const char __user *filename, int mode)
412 return sys_faccessat(AT_FDCWD, filename, mode);
415 asmlinkage long sys_chdir(const char __user * filename)
420 error = __user_walk(filename,
421 LOOKUP_FOLLOW|LOOKUP_DIRECTORY|LOOKUP_CHDIR, &nd);
425 error = vfs_permission(&nd, MAY_EXEC);
429 set_fs_pwd(current->fs, nd.mnt, nd.dentry);
437 asmlinkage long sys_fchdir(unsigned int fd)
440 struct dentry *dentry;
442 struct vfsmount *mnt;
450 dentry = file->f_path.dentry;
451 mnt = file->f_path.mnt;
452 inode = dentry->d_inode;
455 if (!S_ISDIR(inode->i_mode))
458 error = file_permission(file, MAY_EXEC);
460 set_fs_pwd(current->fs, mnt, dentry);
467 asmlinkage long sys_chroot(const char __user * filename)
472 error = __user_walk(filename, LOOKUP_FOLLOW | LOOKUP_DIRECTORY | LOOKUP_NOALT, &nd);
476 error = vfs_permission(&nd, MAY_EXEC);
481 if (!capable(CAP_SYS_CHROOT))
484 set_fs_root(current->fs, nd.mnt, nd.dentry);
493 asmlinkage long sys_fchmod(unsigned int fd, mode_t mode)
495 struct inode * inode;
496 struct dentry * dentry;
499 struct iattr newattrs;
505 dentry = file->f_path.dentry;
506 inode = dentry->d_inode;
508 audit_inode(NULL, inode);
511 if (IS_RDONLY(inode))
514 if (IS_IMMUTABLE(inode) || IS_APPEND(inode))
516 mutex_lock(&inode->i_mutex);
517 if (mode == (mode_t) -1)
518 mode = inode->i_mode;
519 newattrs.ia_mode = (mode & S_IALLUGO) | (inode->i_mode & ~S_IALLUGO);
520 newattrs.ia_valid = ATTR_MODE | ATTR_CTIME;
521 err = notify_change(dentry, &newattrs);
522 mutex_unlock(&inode->i_mutex);
530 asmlinkage long sys_fchmodat(int dfd, const char __user *filename,
534 struct inode * inode;
536 struct iattr newattrs;
538 error = __user_walk_fd(dfd, filename, LOOKUP_FOLLOW, &nd);
541 inode = nd.dentry->d_inode;
544 if (IS_RDONLY(inode))
548 if (IS_IMMUTABLE(inode) || IS_APPEND(inode))
551 mutex_lock(&inode->i_mutex);
552 if (mode == (mode_t) -1)
553 mode = inode->i_mode;
554 newattrs.ia_mode = (mode & S_IALLUGO) | (inode->i_mode & ~S_IALLUGO);
555 newattrs.ia_valid = ATTR_MODE | ATTR_CTIME;
556 error = notify_change(nd.dentry, &newattrs);
557 mutex_unlock(&inode->i_mutex);
565 asmlinkage long sys_chmod(const char __user *filename, mode_t mode)
567 return sys_fchmodat(AT_FDCWD, filename, mode);
570 static int chown_common(struct dentry * dentry, uid_t user, gid_t group)
572 struct inode * inode;
574 struct iattr newattrs;
577 if (!(inode = dentry->d_inode)) {
578 printk(KERN_ERR "chown_common: NULL inode\n");
582 if (IS_RDONLY(inode))
585 if (IS_IMMUTABLE(inode) || IS_APPEND(inode))
587 newattrs.ia_valid = ATTR_CTIME;
588 if (user != (uid_t) -1) {
589 newattrs.ia_valid |= ATTR_UID;
590 newattrs.ia_uid = user;
592 if (group != (gid_t) -1) {
593 newattrs.ia_valid |= ATTR_GID;
594 newattrs.ia_gid = group;
596 if (!S_ISDIR(inode->i_mode))
597 newattrs.ia_valid |= ATTR_KILL_SUID|ATTR_KILL_SGID;
598 mutex_lock(&inode->i_mutex);
599 error = notify_change(dentry, &newattrs);
600 mutex_unlock(&inode->i_mutex);
605 asmlinkage long sys_chown(const char __user * filename, uid_t user, gid_t group)
610 error = user_path_walk(filename, &nd);
613 error = chown_common(nd.dentry, user, group);
619 asmlinkage long sys_fchownat(int dfd, const char __user *filename, uid_t user,
620 gid_t group, int flag)
626 if ((flag & ~AT_SYMLINK_NOFOLLOW) != 0)
629 follow = (flag & AT_SYMLINK_NOFOLLOW) ? 0 : LOOKUP_FOLLOW;
630 error = __user_walk_fd(dfd, filename, follow, &nd);
633 error = chown_common(nd.dentry, user, group);
639 asmlinkage long sys_lchown(const char __user * filename, uid_t user, gid_t group)
644 error = user_path_walk_link(filename, &nd);
647 error = chown_common(nd.dentry, user, group);
654 asmlinkage long sys_fchown(unsigned int fd, uid_t user, gid_t group)
658 struct dentry * dentry;
664 dentry = file->f_path.dentry;
665 audit_inode(NULL, dentry->d_inode);
666 error = chown_common(dentry, user, group);
672 static struct file *__dentry_open(struct dentry *dentry, struct vfsmount *mnt,
673 int flags, struct file *f,
674 int (*open)(struct inode *, struct file *))
680 f->f_mode = ((flags+1) & O_ACCMODE) | FMODE_LSEEK |
681 FMODE_PREAD | FMODE_PWRITE;
682 inode = dentry->d_inode;
683 if (f->f_mode & FMODE_WRITE) {
684 error = get_write_access(inode);
689 f->f_mapping = inode->i_mapping;
690 f->f_path.dentry = dentry;
693 f->f_op = fops_get(inode->i_fop);
694 file_move(f, &inode->i_sb->s_files);
696 if (!open && f->f_op)
697 open = f->f_op->open;
699 error = open(inode, f);
704 f->f_flags &= ~(O_CREAT | O_EXCL | O_NOCTTY | O_TRUNC);
706 file_ra_state_init(&f->f_ra, f->f_mapping->host->i_mapping);
708 /* NB: we're sure to have correct a_ops only after f_op->open */
709 if (f->f_flags & O_DIRECT) {
710 if (!f->f_mapping->a_ops ||
711 ((!f->f_mapping->a_ops->direct_IO) &&
712 (!f->f_mapping->a_ops->get_xip_page))) {
714 f = ERR_PTR(-EINVAL);
722 if (f->f_mode & FMODE_WRITE)
723 put_write_access(inode);
725 f->f_path.dentry = NULL;
726 f->f_path.mnt = NULL;
731 return ERR_PTR(error);
735 * Note that while the flag value (low two bits) for sys_open means:
741 * 00 - no permissions needed
742 * 01 - read-permission
743 * 10 - write-permission
745 * for the internal routines (ie open_namei()/follow_link() etc). 00 is
748 static struct file *do_filp_open(int dfd, const char *filename, int flags,
751 int namei_flags, error;
755 if ((namei_flags+1) & O_ACCMODE)
758 error = open_namei(dfd, filename, namei_flags, mode, &nd);
760 return nameidata_to_filp(&nd, flags);
762 return ERR_PTR(error);
765 struct file *filp_open(const char *filename, int flags, int mode)
767 return do_filp_open(AT_FDCWD, filename, flags, mode);
769 EXPORT_SYMBOL(filp_open);
772 * lookup_instantiate_filp - instantiates the open intent filp
773 * @nd: pointer to nameidata
774 * @dentry: pointer to dentry
775 * @open: open callback
777 * Helper for filesystems that want to use lookup open intents and pass back
778 * a fully instantiated struct file to the caller.
779 * This function is meant to be called from within a filesystem's
781 * Beware of calling it for non-regular files! Those ->open methods might block
782 * (e.g. in fifo_open), leaving you with parent locked (and in case of fifo,
783 * leading to a deadlock, as nobody can open that fifo anymore, because
784 * another process to open fifo will block on locked parent when doing lookup).
785 * Note that in case of error, nd->intent.open.file is destroyed, but the
786 * path information remains valid.
787 * If the open callback is set to NULL, then the standard f_op->open()
788 * filesystem callback is substituted.
790 struct file *lookup_instantiate_filp(struct nameidata *nd, struct dentry *dentry,
791 int (*open)(struct inode *, struct file *))
793 if (IS_ERR(nd->intent.open.file))
797 nd->intent.open.file = __dentry_open(dget(dentry), mntget(nd->mnt),
798 nd->intent.open.flags - 1,
799 nd->intent.open.file,
802 return nd->intent.open.file;
804 release_open_intent(nd);
805 nd->intent.open.file = (struct file *)dentry;
808 EXPORT_SYMBOL_GPL(lookup_instantiate_filp);
811 * nameidata_to_filp - convert a nameidata to an open filp.
812 * @nd: pointer to nameidata
815 * Note that this function destroys the original nameidata
817 struct file *nameidata_to_filp(struct nameidata *nd, int flags)
821 /* Pick up the filp from the open intent */
822 filp = nd->intent.open.file;
823 /* Has the filesystem initialised the file for us? */
824 if (filp->f_path.dentry == NULL)
825 filp = __dentry_open(nd->dentry, nd->mnt, flags, filp, NULL);
832 * dentry_open() will have done dput(dentry) and mntput(mnt) if it returns an
835 struct file *dentry_open(struct dentry *dentry, struct vfsmount *mnt, int flags)
841 f = get_empty_filp();
845 return ERR_PTR(error);
848 return __dentry_open(dentry, mnt, flags, f, NULL);
850 EXPORT_SYMBOL(dentry_open);
853 * Find an empty file descriptor entry, and mark it busy.
855 int get_unused_fd(void)
857 struct files_struct * files = current->files;
862 spin_lock(&files->file_lock);
865 fdt = files_fdtable(files);
866 fd = find_next_zero_bit(fdt->open_fds->fds_bits, fdt->max_fds,
870 * N.B. For clone tasks sharing a files structure, this test
871 * will limit the total number of files that can be opened.
873 if (fd >= current->signal->rlim[RLIMIT_NOFILE].rlim_cur)
876 /* Do we need to expand the fd array or fd set? */
877 error = expand_files(files, fd);
883 * If we needed to expand the fs array we
884 * might have blocked - try again.
890 FD_SET(fd, fdt->open_fds);
891 FD_CLR(fd, fdt->close_on_exec);
892 files->next_fd = fd + 1;
895 if (fdt->fd[fd] != NULL) {
896 printk(KERN_WARNING "get_unused_fd: slot %d not NULL!\n", fd);
903 spin_unlock(&files->file_lock);
907 EXPORT_SYMBOL(get_unused_fd);
909 static void __put_unused_fd(struct files_struct *files, unsigned int fd)
911 struct fdtable *fdt = files_fdtable(files);
912 __FD_CLR(fd, fdt->open_fds);
913 if (fd < files->next_fd)
917 void fastcall put_unused_fd(unsigned int fd)
919 struct files_struct *files = current->files;
920 spin_lock(&files->file_lock);
921 __put_unused_fd(files, fd);
922 spin_unlock(&files->file_lock);
925 EXPORT_SYMBOL(put_unused_fd);
928 * Install a file pointer in the fd array.
930 * The VFS is full of places where we drop the files lock between
931 * setting the open_fds bitmap and installing the file in the file
932 * array. At any such point, we are vulnerable to a dup2() race
933 * installing a file in the array before us. We need to detect this and
934 * fput() the struct file we are about to overwrite in this case.
936 * It should never happen - if we allow dup2() do it, _really_ bad things
940 void fastcall fd_install(unsigned int fd, struct file * file)
942 struct files_struct *files = current->files;
944 spin_lock(&files->file_lock);
945 fdt = files_fdtable(files);
946 BUG_ON(fdt->fd[fd] != NULL);
947 rcu_assign_pointer(fdt->fd[fd], file);
948 spin_unlock(&files->file_lock);
951 EXPORT_SYMBOL(fd_install);
953 long do_sys_open(int dfd, const char __user *filename, int flags, int mode)
955 char *tmp = getname(filename);
956 int fd = PTR_ERR(tmp);
959 fd = get_unused_fd();
961 struct file *f = do_filp_open(dfd, tmp, flags, mode);
966 fsnotify_open(f->f_path.dentry);
975 asmlinkage long sys_open(const char __user *filename, int flags, int mode)
979 if (force_o_largefile())
980 flags |= O_LARGEFILE;
982 ret = do_sys_open(AT_FDCWD, filename, flags, mode);
983 /* avoid REGPARM breakage on x86: */
984 prevent_tail_call(ret);
987 EXPORT_SYMBOL_GPL(sys_open);
989 asmlinkage long sys_openat(int dfd, const char __user *filename, int flags,
994 if (force_o_largefile())
995 flags |= O_LARGEFILE;
997 ret = do_sys_open(dfd, filename, flags, mode);
998 /* avoid REGPARM breakage on x86: */
999 prevent_tail_call(ret);
1006 * For backward compatibility? Maybe this should be moved
1007 * into arch/i386 instead?
1009 asmlinkage long sys_creat(const char __user * pathname, int mode)
1011 return sys_open(pathname, O_CREAT | O_WRONLY | O_TRUNC, mode);
1017 * "id" is the POSIX thread ID. We use the
1018 * files pointer for this..
1020 int filp_close(struct file *filp, fl_owner_t id)
1024 if (!file_count(filp)) {
1025 printk(KERN_ERR "VFS: Close: file count is 0\n");
1029 if (filp->f_op && filp->f_op->flush)
1030 retval = filp->f_op->flush(filp, id);
1032 dnotify_flush(filp, id);
1033 locks_remove_posix(filp, id);
1038 EXPORT_SYMBOL(filp_close);
1041 * Careful here! We test whether the file pointer is NULL before
1042 * releasing the fd. This ensures that one clone task can't release
1043 * an fd while another clone is opening it.
1045 asmlinkage long sys_close(unsigned int fd)
1048 struct files_struct *files = current->files;
1049 struct fdtable *fdt;
1052 spin_lock(&files->file_lock);
1053 fdt = files_fdtable(files);
1054 if (fd >= fdt->max_fds)
1059 rcu_assign_pointer(fdt->fd[fd], NULL);
1060 FD_CLR(fd, fdt->close_on_exec);
1061 __put_unused_fd(files, fd);
1062 spin_unlock(&files->file_lock);
1063 retval = filp_close(filp, files);
1065 /* can't restart close syscall because file table entry was cleared */
1066 if (unlikely(retval == -ERESTARTSYS ||
1067 retval == -ERESTARTNOINTR ||
1068 retval == -ERESTARTNOHAND ||
1069 retval == -ERESTART_RESTARTBLOCK))
1075 spin_unlock(&files->file_lock);
1079 EXPORT_SYMBOL(sys_close);
1082 * This routine simulates a hangup on the tty, to arrange that users
1083 * are given clean terminals at login time.
1085 asmlinkage long sys_vhangup(void)
1087 if (capable(CAP_SYS_TTY_CONFIG)) {
1088 /* XXX: this needs locking */
1089 tty_vhangup(current->signal->tty);
1096 * Called when an inode is about to be open.
1097 * We use this to disallow opening large files on 32bit systems if
1098 * the caller didn't specify O_LARGEFILE. On 64bit systems we force
1099 * on this flag in sys_open.
1101 int generic_file_open(struct inode * inode, struct file * filp)
1103 if (!(filp->f_flags & O_LARGEFILE) && i_size_read(inode) > MAX_NON_LFS)
1108 EXPORT_SYMBOL(generic_file_open);
1111 * This is used by subsystems that don't want seekable
1114 int nonseekable_open(struct inode *inode, struct file *filp)
1116 filp->f_mode &= ~(FMODE_LSEEK | FMODE_PREAD | FMODE_PWRITE);
1120 EXPORT_SYMBOL(nonseekable_open);