1 /*
2 * Copyright (c) 2000, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
25
26 package java.util.logging;
27
28 import static java.nio.file.StandardOpenOption.APPEND;
29 import static java.nio.file.StandardOpenOption.CREATE_NEW;
30 import static java.nio.file.StandardOpenOption.WRITE;
31
32 import java.io.BufferedOutputStream;
33 import java.io.File;
34 import java.io.FileOutputStream;
35 import java.io.IOException;
36 import java.io.OutputStream;
37 import java.nio.channels.FileChannel;
38 import java.nio.channels.OverlappingFileLockException;
39 import java.nio.file.FileAlreadyExistsException;
40 import java.nio.file.Files;
41 import java.nio.file.LinkOption;
42 import java.nio.file.NoSuchFileException;
43 import java.nio.file.Path;
44 import java.nio.file.Paths;
45 import java.security.AccessController;
46 import java.security.PrivilegedAction;
47 import java.util.HashSet;
48 import java.util.Set;
49
50 /**
51 * Simple file logging <tt>Handler</tt>.
52 * <p>
53 * The <tt>FileHandler</tt> can either write to a specified file,
54 * or it can write to a rotating set of files.
55 * <p>
56 * For a rotating set of files, as each file reaches a given size
57 * limit, it is closed, rotated out, and a new file opened.
58 * Successively older files are named by adding "0", "1", "2",
59 * etc. into the base filename.
60 * <p>
61 * By default buffering is enabled in the IO libraries but each log
62 * record is flushed out when it is complete.
63 * <p>
64 * By default the <tt>XMLFormatter</tt> class is used for formatting.
65 * <p>
66 * <b>Configuration:</b>
67 * By default each <tt>FileHandler</tt> is initialized using the following
68 * <tt>LogManager</tt> configuration properties where <tt><handler-name></tt>
69 * refers to the fully-qualified class name of the handler.
70 * If properties are not defined
71 * (or have invalid values) then the specified default values are used.
72 * <ul>
73 * <li> <handler-name>.level
74 * specifies the default level for the <tt>Handler</tt>
75 * (defaults to <tt>Level.ALL</tt>). </li>
76 * <li> <handler-name>.filter
77 * specifies the name of a <tt>Filter</tt> class to use
78 * (defaults to no <tt>Filter</tt>). </li>
79 * <li> <handler-name>.formatter
80 * specifies the name of a <tt>Formatter</tt> class to use
81 * (defaults to <tt>java.util.logging.XMLFormatter</tt>) </li>
82 * <li> <handler-name>.encoding
83 * the name of the character set encoding to use (defaults to
84 * the default platform encoding). </li>
85 * <li> <handler-name>.limit
86 * specifies an approximate maximum amount to write (in bytes)
87 * to any one file. If this is zero, then there is no limit.
88 * (Defaults to no limit). </li>
89 * <li> <handler-name>.count
90 * specifies how many output files to cycle through (defaults to 1). </li>
91 * <li> <handler-name>.pattern
92 * specifies a pattern for generating the output file name. See
93 * below for details. (Defaults to "%h/java%u.log"). </li>
94 * <li> <handler-name>.append
95 * specifies whether the FileHandler should append onto
96 * any existing files (defaults to false). </li>
97 * </ul>
98 * <p>
99 * For example, the properties for {@code FileHandler} would be:
100 * <ul>
101 * <li> java.util.logging.FileHandler.level=INFO </li>
102 * <li> java.util.logging.FileHandler.formatter=java.util.logging.SimpleFormatter </li>
103 * </ul>
104 * <p>
105 * For a custom handler, e.g. com.foo.MyHandler, the properties would be:
106 * <ul>
107 * <li> com.foo.MyHandler.level=INFO </li>
108 * <li> com.foo.MyHandler.formatter=java.util.logging.SimpleFormatter </li>
109 * </ul>
110 * <p>
111 * A pattern consists of a string that includes the following special
112 * components that will be replaced at runtime:
113 * <ul>
114 * <li> "/" the local pathname separator </li>
115 * <li> "%t" the system temporary directory </li>
116 * <li> "%h" the value of the "user.home" system property </li>
117 * <li> "%g" the generation number to distinguish rotated logs </li>
118 * <li> "%u" a unique number to resolve conflicts </li>
119 * <li> "%%" translates to a single percent sign "%" </li>
120 * </ul>
121 * If no "%g" field has been specified and the file count is greater
122 * than one, then the generation number will be added to the end of
123 * the generated filename, after a dot.
124 * <p>
125 * Thus for example a pattern of "%t/java%g.log" with a count of 2
126 * would typically cause log files to be written on Solaris to
127 * /var/tmp/java0.log and /var/tmp/java1.log whereas on Windows 95 they
128 * would be typically written to C:\TEMP\java0.log and C:\TEMP\java1.log
129 * <p>
130 * Generation numbers follow the sequence 0, 1, 2, etc.
131 * <p>
132 * Normally the "%u" unique field is set to 0. However, if the <tt>FileHandler</tt>
133 * tries to open the filename and finds the file is currently in use by
134 * another process it will increment the unique number field and try
135 * again. This will be repeated until <tt>FileHandler</tt> finds a file name that
136 * is not currently in use. If there is a conflict and no "%u" field has
137 * been specified, it will be added at the end of the filename after a dot.
138 * (This will be after any automatically added generation number.)
139 * <p>
140 * Thus if three processes were all trying to log to fred%u.%g.txt then
141 * they might end up using fred0.0.txt, fred1.0.txt, fred2.0.txt as
142 * the first file in their rotating sequences.
143 * <p>
144 * Note that the use of unique ids to avoid conflicts is only guaranteed
145 * to work reliably when using a local disk file system.
146 *
147 * @since 1.4
148 */
149
150 public class FileHandler extends StreamHandler {
151 private MeteredStream meter;
152 private boolean append;
153 private int limit; // zero => no limit.
154 private int count;
155 private String pattern;
156 private String lockFileName;
157 private FileChannel lockFileChannel;
158 private File files[];
159 private static final int MAX_LOCKS = 100;
160 private static final Set<String> locks = new HashSet<>();
161
162 /**
163 * A metered stream is a subclass of OutputStream that
164 * (a) forwards all its output to a target stream
165 * (b) keeps track of how many bytes have been written
166 */
167 private class MeteredStream extends OutputStream {
168 final OutputStream out;
169 int written;
170
171 MeteredStream(OutputStream out, int written) {
172 this.out = out;
173 this.written = written;
174 }
175
176 @Override
177 public void write(int b) throws IOException {
178 out.write(b);
179 written++;
180 }
181
182 @Override
183 public void write(byte buff[]) throws IOException {
184 out.write(buff);
185 written += buff.length;
186 }
187
188 @Override
189 public void write(byte buff[], int off, int len) throws IOException {
190 out.write(buff,off,len);
191 written += len;
192 }
193
194 @Override
195 public void flush() throws IOException {
196 out.flush();
197 }
198
199 @Override
200 public void close() throws IOException {
201 out.close();
202 }
203 }
204
205 private void open(File fname, boolean append) throws IOException {
206 int len = 0;
207 if (append) {
208 len = (int)fname.length();
209 }
210 FileOutputStream fout = new FileOutputStream(fname.toString(), append);
211 BufferedOutputStream bout = new BufferedOutputStream(fout);
212 meter = new MeteredStream(bout, len);
213 setOutputStream(meter);
214 }
215
216 /**
217 * Configure a FileHandler from LogManager properties and/or default values
218 * as specified in the class javadoc.
219 */
220 private void configure() {
221 LogManager manager = LogManager.getLogManager();
222
223 String cname = getClass().getName();
224
225 pattern = manager.getStringProperty(cname + ".pattern", "%h/java%u.log");
226 limit = manager.getIntProperty(cname + ".limit", 0);
227 if (limit < 0) {
228 limit = 0;
229 }
230 count = manager.getIntProperty(cname + ".count", 1);
231 if (count <= 0) {
232 count = 1;
233 }
234 append = manager.getBooleanProperty(cname + ".append", false);
235 setLevel(manager.getLevelProperty(cname + ".level", Level.ALL));
236 setFilter(manager.getFilterProperty(cname + ".filter", null));
237 setFormatter(manager.getFormatterProperty(cname + ".formatter", new XMLFormatter()));
238 try {
239 setEncoding(manager.getStringProperty(cname +".encoding", null));
240 } catch (Exception ex) {
241 try {
242 setEncoding(null);
243 } catch (Exception ex2) {
244 // doing a setEncoding with null should always work.
245 // assert false;
246 }
247 }
248 }
249
250
251 /**
252 * Construct a default <tt>FileHandler</tt>. This will be configured
253 * entirely from <tt>LogManager</tt> properties (or their default values).
254 *
255 * @exception IOException if there are IO problems opening the files.
256 * @exception SecurityException if a security manager exists and if
257 * the caller does not have <tt>LoggingPermission("control"))</tt>.
258 * @exception NullPointerException if pattern property is an empty String.
259 */
260 public FileHandler() throws IOException, SecurityException {
261 checkPermission();
262 configure();
263 // pattern will have been set by configure. check that it's not
264 // empty.
265 if (pattern.isEmpty()) {
266 throw new NullPointerException();
267 }
268 openFiles();
269 }
270
271 /**
272 * Initialize a <tt>FileHandler</tt> to write to the given filename.
273 * <p>
274 * The <tt>FileHandler</tt> is configured based on <tt>LogManager</tt>
275 * properties (or their default values) except that the given pattern
276 * argument is used as the filename pattern, the file limit is
277 * set to no limit, and the file count is set to one.
278 * <p>
279 * There is no limit on the amount of data that may be written,
280 * so use this with care.
281 *
282 * @param pattern the name of the output file
283 * @exception IOException if there are IO problems opening the files.
284 * @exception SecurityException if a security manager exists and if
285 * the caller does not have <tt>LoggingPermission("control")</tt>.
286 * @exception IllegalArgumentException if pattern is an empty string
287 */
288 public FileHandler(String pattern) throws IOException, SecurityException {
289 if (pattern.length() < 1 ) {
290 throw new IllegalArgumentException();
291 }
292 checkPermission();
293 configure();
294 this.pattern = pattern;
295 this.limit = 0;
296 this.count = 1;
297 openFiles();
298 }
299
300 /**
301 * Initialize a <tt>FileHandler</tt> to write to the given filename,
302 * with optional append.
303 * <p>
304 * The <tt>FileHandler</tt> is configured based on <tt>LogManager</tt>
305 * properties (or their default values) except that the given pattern
306 * argument is used as the filename pattern, the file limit is
307 * set to no limit, the file count is set to one, and the append
308 * mode is set to the given <tt>append</tt> argument.
309 * <p>
310 * There is no limit on the amount of data that may be written,
311 * so use this with care.
312 *
313 * @param pattern the name of the output file
314 * @param append specifies append mode
315 * @exception IOException if there are IO problems opening the files.
316 * @exception SecurityException if a security manager exists and if
317 * the caller does not have <tt>LoggingPermission("control")</tt>.
318 * @exception IllegalArgumentException if pattern is an empty string
319 */
320 public FileHandler(String pattern, boolean append) throws IOException,
321 SecurityException {
322 if (pattern.length() < 1 ) {
323 throw new IllegalArgumentException();
324 }
325 checkPermission();
326 configure();
327 this.pattern = pattern;
328 this.limit = 0;
329 this.count = 1;
330 this.append = append;
331 openFiles();
332 }
333
334 /**
335 * Initialize a <tt>FileHandler</tt> to write to a set of files. When
336 * (approximately) the given limit has been written to one file,
337 * another file will be opened. The output will cycle through a set
338 * of count files.
339 * <p>
340 * The <tt>FileHandler</tt> is configured based on <tt>LogManager</tt>
341 * properties (or their default values) except that the given pattern
342 * argument is used as the filename pattern, the file limit is
343 * set to the limit argument, and the file count is set to the
344 * given count argument.
345 * <p>
346 * The count must be at least 1.
347 *
348 * @param pattern the pattern for naming the output file
349 * @param limit the maximum number of bytes to write to any one file
350 * @param count the number of files to use
351 * @exception IOException if there are IO problems opening the files.
352 * @exception SecurityException if a security manager exists and if
353 * the caller does not have <tt>LoggingPermission("control")</tt>.
354 * @exception IllegalArgumentException if {@code limit < 0}, or {@code count < 1}.
355 * @exception IllegalArgumentException if pattern is an empty string
356 */
357 public FileHandler(String pattern, int limit, int count)
358 throws IOException, SecurityException {
359 if (limit < 0 || count < 1 || pattern.length() < 1) {
360 throw new IllegalArgumentException();
361 }
362 checkPermission();
363 configure();
364 this.pattern = pattern;
365 this.limit = limit;
366 this.count = count;
367 openFiles();
368 }
369
370 /**
371 * Initialize a <tt>FileHandler</tt> to write to a set of files
372 * with optional append. When (approximately) the given limit has
373 * been written to one file, another file will be opened. The
374 * output will cycle through a set of count files.
375 * <p>
376 * The <tt>FileHandler</tt> is configured based on <tt>LogManager</tt>
377 * properties (or their default values) except that the given pattern
378 * argument is used as the filename pattern, the file limit is
379 * set to the limit argument, and the file count is set to the
380 * given count argument, and the append mode is set to the given
381 * <tt>append</tt> argument.
382 * <p>
383 * The count must be at least 1.
384 *
385 * @param pattern the pattern for naming the output file
386 * @param limit the maximum number of bytes to write to any one file
387 * @param count the number of files to use
388 * @param append specifies append mode
389 * @exception IOException if there are IO problems opening the files.
390 * @exception SecurityException if a security manager exists and if
391 * the caller does not have <tt>LoggingPermission("control")</tt>.
392 * @exception IllegalArgumentException if {@code limit < 0}, or {@code count < 1}.
393 * @exception IllegalArgumentException if pattern is an empty string
394 *
395 */
396 public FileHandler(String pattern, int limit, int count, boolean append)
397 throws IOException, SecurityException {
398 if (limit < 0 || count < 1 || pattern.length() < 1) {
399 throw new IllegalArgumentException();
400 }
401 checkPermission();
402 configure();
403 this.pattern = pattern;
404 this.limit = limit;
405 this.count = count;
406 this.append = append;
407 openFiles();
408 }
409
410 private boolean isParentWritable(Path path) {
411 Path parent = path.getParent();
412 if (parent == null) {
413 parent = path.toAbsolutePath().getParent();
414 }
415 return parent != null && Files.isWritable(parent);
416 }
417
418 /**
419 * Open the set of output files, based on the configured
420 * instance variables.
421 */
422 private void openFiles() throws IOException {
423 LogManager manager = LogManager.getLogManager();
424 manager.checkPermission();
425 if (count < 1) {
426 throw new IllegalArgumentException("file count = " + count);
427 }
428 if (limit < 0) {
429 limit = 0;
430 }
431
432 // All constructors check that pattern is neither null nor empty.
433 assert pattern != null : "pattern should not be null";
434 assert !pattern.isEmpty() : "pattern should not be empty";
435
436 // We register our own ErrorManager during initialization
437 // so we can record exceptions.
438 InitializationErrorManager em = new InitializationErrorManager();
439 setErrorManager(em);
440
441 // Create a lock file. This grants us exclusive access
442 // to our set of output files, as long as we are alive.
443 int unique = -1;
444 for (;;) {
445 unique++;
446 if (unique > MAX_LOCKS) {
447 throw new IOException("Couldn't get lock for " + pattern);
448 }
449 // Generate a lock file name from the "unique" int.
450 lockFileName = generate(pattern, 0, unique).toString() + ".lck";
451 // Now try to lock that filename.
452 // Because some systems (e.g., Solaris) can only do file locks
453 // between processes (and not within a process), we first check
454 // if we ourself already have the file locked.
455 synchronized(locks) {
456 if (locks.contains(lockFileName)) {
457 // We already own this lock, for a different FileHandler
458 // object. Try again.
459 continue;
460 }
461
462 final Path lockFilePath = Paths.get(lockFileName);
463 FileChannel channel = null;
464 int retries = -1;
465 boolean fileCreated = false;
466 while (channel == null && retries++ < 1) {
467 try {
468 channel = FileChannel.open(lockFilePath,
469 CREATE_NEW, WRITE);
470 fileCreated = true;
471 } catch (FileAlreadyExistsException ix) {
472 // This may be a zombie file left over by a previous
473 // execution. Reuse it - but only if we can actually
474 // write to its directory.
475 // Note that this is a situation that may happen,
476 // but not too frequently.
477 if (Files.isRegularFile(lockFilePath, LinkOption.NOFOLLOW_LINKS)
478 && isParentWritable(lockFilePath)) {
479 try {
480 channel = FileChannel.open(lockFilePath,
481 WRITE, APPEND);
482 } catch (NoSuchFileException x) {
483 // Race condition - retry once, and if that
484 // fails again just try the next name in
485 // the sequence.
486 continue;
487 } catch(IOException x) {
488 // the file may not be writable for us.
489 // try the next name in the sequence
490 break;
491 }
492 } else {
493 // at this point channel should still be null.
494 // break and try the next name in the sequence.
495 break;
496 }
497 }
498 }
499
500 if (channel == null) continue; // try the next name;
501 lockFileChannel = channel;
502
503 boolean available;
504 try {
505 available = lockFileChannel.tryLock() != null;
506 // We got the lock OK.
507 // At this point we could call File.deleteOnExit().
508 // However, this could have undesirable side effects
509 // as indicated by JDK-4872014. So we will instead
510 // rely on the fact that close() will remove the lock
511 // file and that whoever is creating FileHandlers should
512 // be responsible for closing them.
513 } catch (IOException ix) {
514 // We got an IOException while trying to get the lock.
515 // This normally indicates that locking is not supported
516 // on the target directory. We have to proceed without
517 // getting a lock. Drop through, but only if we did
518 // create the file...
519 available = fileCreated;
520 } catch (OverlappingFileLockException x) {
521 // someone already locked this file in this VM, through
522 // some other channel - that is - using something else
523 // than new FileHandler(...);
524 // continue searching for an available lock.
525 available = false;
526 }
527 if (available) {
528 // We got the lock. Remember it.
529 locks.add(lockFileName);
530 break;
531 }
532
533 // We failed to get the lock. Try next file.
534 lockFileChannel.close();
535 }
536 }
537
538 files = new File[count];
539 for (int i = 0; i < count; i++) {
540 files[i] = generate(pattern, i, unique);
541 }
542
543 // Create the initial log file.
544 if (append) {
545 open(files[0], true);
546 } else {
547 rotate();
548 }
549
550 // Did we detect any exceptions during initialization?
551 Exception ex = em.lastException;
552 if (ex != null) {
553 if (ex instanceof IOException) {
554 throw (IOException) ex;
555 } else if (ex instanceof SecurityException) {
556 throw (SecurityException) ex;
557 } else {
558 throw new IOException("Exception: " + ex);
559 }
560 }
561
562 // Install the normal default ErrorManager.
563 setErrorManager(new ErrorManager());
564 }
565
566 /**
567 * Generate a file based on a user-supplied pattern, generation number,
568 * and an integer uniqueness suffix
569 * @param pattern the pattern for naming the output file
570 * @param generation the generation number to distinguish rotated logs
571 * @param unique a unique number to resolve conflicts
572 * @return the generated File
573 * @throws IOException
574 */
575 private File generate(String pattern, int generation, int unique)
576 throws IOException {
577 File file = null;
578 String word = "";
579 int ix = 0;
580 boolean sawg = false;
581 boolean sawu = false;
582 while (ix < pattern.length()) {
583 char ch = pattern.charAt(ix);
584 ix++;
585 char ch2 = 0;
586 if (ix < pattern.length()) {
587 ch2 = Character.toLowerCase(pattern.charAt(ix));
588 }
589 if (ch == '/') {
590 if (file == null) {
591 file = new File(word);
592 } else {
593 file = new File(file, word);
594 }
595 word = "";
596 continue;
597 } else if (ch == '%') {
598 if (ch2 == 't') {
599 String tmpDir = System.getProperty("java.io.tmpdir");
600 if (tmpDir == null) {
601 tmpDir = System.getProperty("user.home");
602 }
603 file = new File(tmpDir);
604 ix++;
605 word = "";
606 continue;
607 } else if (ch2 == 'h') {
608 file = new File(System.getProperty("user.home"));
609 if (sun.misc.VM.isSetUID()) {
610 // Ok, we are in a set UID program. For safety's sake
611 // we disallow attempts to open files relative to %h.
612 throw new IOException("can't use %h in set UID program");
613 }
614 ix++;
615 word = "";
616 continue;
617 } else if (ch2 == 'g') {
618 word = word + generation;
619 sawg = true;
620 ix++;
621 continue;
622 } else if (ch2 == 'u') {
623 word = word + unique;
624 sawu = true;
625 ix++;
626 continue;
627 } else if (ch2 == '%') {
628 word = word + "%";
629 ix++;
630 continue;
631 }
632 }
633 word = word + ch;
634 }
635 if (count > 1 && !sawg) {
636 word = word + "." + generation;
637 }
638 if (unique > 0 && !sawu) {
639 word = word + "." + unique;
640 }
641 if (word.length() > 0) {
642 if (file == null) {
643 file = new File(word);
644 } else {
645 file = new File(file, word);
646 }
647 }
648 return file;
649 }
650
651 /**
652 * Rotate the set of output files
653 */
654 private synchronized void rotate() {
655 Level oldLevel = getLevel();
656 setLevel(Level.OFF);
657
658 super.close();
659 for (int i = count-2; i >= 0; i--) {
660 File f1 = files[i];
661 File f2 = files[i+1];
662 if (f1.exists()) {
663 if (f2.exists()) {
664 f2.delete();
665 }
666 f1.renameTo(f2);
667 }
668 }
669 try {
670 open(files[0], false);
671 } catch (IOException ix) {
672 // We don't want to throw an exception here, but we
673 // report the exception to any registered ErrorManager.
674 reportError(null, ix, ErrorManager.OPEN_FAILURE);
675
676 }
677 setLevel(oldLevel);
678 }
679
680 /**
681 * Format and publish a <tt>LogRecord</tt>.
682 *
683 * @param record description of the log event. A null record is
684 * silently ignored and is not published
685 */
686 @Override
687 public synchronized void publish(LogRecord record) {
688 if (!isLoggable(record)) {
689 return;
690 }
691 super.publish(record);
692 flush();
693 if (limit > 0 && meter.written >= limit) {
694 // We performed access checks in the "init" method to make sure
695 // we are only initialized from trusted code. So we assume
696 // it is OK to write the target files, even if we are
697 // currently being called from untrusted code.
698 // So it is safe to raise privilege here.
699 AccessController.doPrivileged(new PrivilegedAction<Object>() {
700 @Override
701 public Object run() {
702 rotate();
703 return null;
704 }
705 });
706 }
707 }
708
709 /**
710 * Close all the files.
711 *
712 * @exception SecurityException if a security manager exists and if
713 * the caller does not have <tt>LoggingPermission("control")</tt>.
714 */
715 @Override
716 public synchronized void close() throws SecurityException {
717 super.close();
718 // Unlock any lock file.
719 if (lockFileName == null) {
720 return;
721 }
722 try {
723 // Close the lock file channel (which also will free any locks)
724 lockFileChannel.close();
725 } catch (Exception ex) {
726 // Problems closing the stream. Punt.
727 }
728 synchronized(locks) {
729 locks.remove(lockFileName);
730 }
731 new File(lockFileName).delete();
732 lockFileName = null;
733 lockFileChannel = null;
734 }
735
736 private static class InitializationErrorManager extends ErrorManager {
737 Exception lastException;
738 @Override
739 public void error(String msg, Exception ex, int code) {
740 lastException = ex;
741 }
742 }
743 }