blob: babbb63e6d9d6ccf03571405947f14217e410d28 [file] [log] [blame]
Ingo Molnare33e0a42009-04-20 15:58:01 +02001perf-record(1)
Ingo Molnarc1c23652009-05-30 12:38:51 +02002==============
Ingo Molnare33e0a42009-04-20 15:58:01 +02003
4NAME
5----
Ingo Molnar23ac9cb2009-05-27 09:33:18 +02006perf-record - Run a command and record its profile into perf.data
Ingo Molnare33e0a42009-04-20 15:58:01 +02007
8SYNOPSIS
9--------
10[verse]
11'perf record' [-e <EVENT> | --event=EVENT] [-l] [-a] <command>
Mike Galbraith9e0967532009-05-28 16:25:34 +020012'perf record' [-e <EVENT> | --event=EVENT] [-l] [-a] -- <command> [<options>]
Ingo Molnare33e0a42009-04-20 15:58:01 +020013
14DESCRIPTION
15-----------
16This command runs a command and gathers a performance counter profile
Ingo Molnar23ac9cb2009-05-27 09:33:18 +020017from it, into perf.data - without displaying anything.
Ingo Molnare33e0a42009-04-20 15:58:01 +020018
19This file can then be inspected later on, using 'perf report'.
20
21
22OPTIONS
23-------
24<command>...::
25 Any command you can specify in a shell.
26
27-e::
28--event=::
Frederic Weisbecker1b290d62009-11-23 15:42:35 +010029 Select the PMU event. Selection can be:
Ingo Molnare33e0a42009-04-20 15:58:01 +020030
Frederic Weisbecker1b290d62009-11-23 15:42:35 +010031 - a symbolic event name (use 'perf list' to list all events)
32
33 - a raw PMU event (eventsel+umask) in the form of rNNN where NNN is a
34 hexadecimal event descriptor.
35
Cody P Schaferf9ab9c12015-01-07 17:13:53 -080036 - a symbolically formed PMU event like 'pmu/param1=0x3,param2/' where
37 'param1', 'param2', etc are defined as formats for the PMU in
Adrian Huntera9e57002016-09-23 17:38:33 +030038 /sys/bus/event_source/devices/<pmu>/format/*.
Cody P Schaferf9ab9c12015-01-07 17:13:53 -080039
40 - a symbolically formed event like 'pmu/config=M,config1=N,config3=K/'
41
42 where M, N, K are numbers (in decimal, hex, octal format). Acceptable
43 values for each of 'config', 'config1' and 'config2' are defined by
Adrian Huntera9e57002016-09-23 17:38:33 +030044 corresponding entries in /sys/bus/event_source/devices/<pmu>/format/*
Cody P Schaferf9ab9c12015-01-07 17:13:53 -080045 param1 and param2 are defined as formats for the PMU in:
Adrian Huntera9e57002016-09-23 17:38:33 +030046 /sys/bus/event_source/devices/<pmu>/format/*
Cody P Schaferf9ab9c12015-01-07 17:13:53 -080047
Kan Liang3d5d68a2015-07-08 04:44:54 -040048 There are also some params which are not defined in .../<pmu>/format/*.
Jiri Olsaee4c7582015-07-29 05:42:11 -040049 These params can be used to overload default config values per event.
Kan Liang3d5d68a2015-07-08 04:44:54 -040050 Here is a list of the params.
51 - 'period': Set event sampling period
Namhyung Kim09af2a52015-08-09 15:45:23 +090052 - 'freq': Set event sampling frequency
Kan Liang32067712015-08-04 04:30:19 -040053 - 'time': Disable/enable time stamping. Acceptable values are 1 for
54 enabling time stamping. 0 for disabling time stamping.
55 The default is 1.
Kan Liangd457c962015-08-11 06:30:47 -040056 - 'call-graph': Disable/enable callgraph. Acceptable str are "fp" for
Kan Liangf9db0d02015-08-11 06:30:48 -040057 FP mode, "dwarf" for DWARF mode, "lbr" for LBR mode and
58 "no" for disable callgraph.
Kan Liangd457c962015-08-11 06:30:47 -040059 - 'stack-size': user stack size for dwarf mode
Kan Liang3d5d68a2015-07-08 04:44:54 -040060 Note: If user explicitly sets options which conflict with the params,
61 the value set by the params will be overridden.
62
Mathieu Poirierdd60fba2016-09-06 10:37:15 -060063 Also not defined in .../<pmu>/format/* are PMU driver specific
64 configuration parameters. Any configuration parameter preceded by
65 the letter '@' is not interpreted in user space and sent down directly
66 to the PMU driver. For example:
67
68 perf record -e some_event/@cfg1,@cfg2=config/ ...
69
70 will see 'cfg1' and 'cfg2=config' pushed to the PMU driver associated
71 with the event for further processing. There is no restriction on
72 what the configuration parameters are, as long as their semantic is
73 understood and supported by the PMU driver.
74
Jacob Shin3741eb92014-05-29 17:26:51 +020075 - a hardware breakpoint event in the form of '\mem:addr[/len][:access]'
Frederic Weisbecker1b290d62009-11-23 15:42:35 +010076 where addr is the address in memory you want to break in.
77 Access is the memory access type (read, write, execute) it can
Jacob Shin3741eb92014-05-29 17:26:51 +020078 be passed as follows: '\mem:addr[:[r][w][x]]'. len is the range,
79 number of bytes from specified addr, which the breakpoint will cover.
Frederic Weisbecker1b290d62009-11-23 15:42:35 +010080 If you want to profile read-write accesses in 0x1000, just set
81 'mem:0x1000:rw'.
Jacob Shin3741eb92014-05-29 17:26:51 +020082 If you want to profile write accesses in [0x1000~1008), just set
83 'mem:0x1000/8:w'.
Shawn Bohrer08dbd7e2010-11-30 19:57:16 -060084
Namhyung Kim9a756062015-03-02 12:13:33 +090085 - a group of events surrounded by a pair of brace ("{event1,event2,...}").
86 Each event is separated by commas and the group should be quoted to
87 prevent the shell interpretation. You also need to use --group on
88 "perf report" to view group events together.
89
Shawn Bohrer08dbd7e2010-11-30 19:57:16 -060090--filter=<filter>::
Wang Nan4ba1faa2015-07-10 07:36:10 +000091 Event filter. This option should follow a event selector (-e) which
92 selects tracepoint event(s). Multiple '--filter' options are combined
93 using '&&'.
94
95--exclude-perf::
96 Don't record events issued by perf itself. This option should follow
97 a event selector (-e) which selects tracepoint event(s). It adds a
98 filter expression 'common_pid != $PERFPID' to filters. If other
99 '--filter' exists, the new filter expression will be combined with
100 them by '&&'.
Shawn Bohrer08dbd7e2010-11-30 19:57:16 -0600101
Ingo Molnare33e0a42009-04-20 15:58:01 +0200102-a::
Shawn Bohrer08dbd7e2010-11-30 19:57:16 -0600103--all-cpus::
104 System-wide collection from all CPUs.
Ingo Molnare33e0a42009-04-20 15:58:01 +0200105
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300106-p::
107--pid=::
David Ahernb52956c2012-02-08 09:32:52 -0700108 Record events on existing process ID (comma separated list).
Shawn Bohrer08dbd7e2010-11-30 19:57:16 -0600109
110-t::
111--tid=::
David Ahernb52956c2012-02-08 09:32:52 -0700112 Record events on existing thread ID (comma separated list).
Adrian Hunter69e7e5b2013-11-18 11:55:57 +0200113 This option also disables inheritance by default. Enable it by adding
114 --inherit.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300115
Arnaldo Carvalho de Melo0d37aa32012-01-19 14:08:15 -0200116-u::
117--uid=::
118 Record events in threads owned by uid. Name or number.
119
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300120-r::
121--realtime=::
122 Collect data with this RT SCHED_FIFO priority.
Jiri Olsa563aecb2013-06-05 13:35:06 +0200123
Arnaldo Carvalho de Melo509051e2014-01-14 17:52:14 -0300124--no-buffering::
Kirill Smelkovacac03f2011-01-12 17:59:36 +0300125 Collect data without buffering.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300126
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300127-c::
128--count=::
129 Event period to sample.
130
131-o::
132--output=::
133 Output file name.
134
135-i::
Stephane Eranian2e6cdf92010-05-12 10:40:01 +0200136--no-inherit::
137 Child tasks do not inherit counters.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300138-F::
139--freq=::
140 Profile at this frequency.
141
142-m::
143--mmap-pages=::
Jiri Olsa27050f52013-09-01 12:36:13 +0200144 Number of mmap data pages (must be a power of two) or size
145 specification with appended unit character - B/K/M/G. The
146 size is rounded up to have nearest pages power of two value.
Adrian Huntere9db1312015-04-09 18:53:46 +0300147 Also, by adding a comma, the number of mmap pages for AUX
148 area tracing can be specified.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300149
Namhyung Kim9a756062015-03-02 12:13:33 +0900150--group::
151 Put all events in a single event group. This precedes the --event
152 option and remains only for backward compatibility. See --event.
153
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300154-g::
Jiri Olsa09b0fd42013-10-26 16:25:33 +0200155 Enables call-graph (stack chain/backtrace) recording.
156
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300157--call-graph::
Jiri Olsa09b0fd42013-10-26 16:25:33 +0200158 Setup and enable call-graph (stack chain/backtrace) recording,
Namhyung Kim76a26542015-10-22 23:28:32 +0900159 implies -g. Default is "fp".
Jiri Olsa09b0fd42013-10-26 16:25:33 +0200160
161 Allows specifying "fp" (frame pointer) or "dwarf"
Kan Liangaad2b212015-01-05 13:23:04 -0500162 (DWARF's CFI - Call Frame Information) or "lbr"
163 (Hardware Last Branch Record facility) as the method to collect
Jiri Olsa09b0fd42013-10-26 16:25:33 +0200164 the information used to show the call graphs.
165
166 In some systems, where binaries are build with gcc
167 --fomit-frame-pointer, using the "fp" method will produce bogus
168 call graphs, using "dwarf", if available (perf tools linked to
Namhyung Kim76a26542015-10-22 23:28:32 +0900169 the libunwind or libdw library) should be used instead.
Kan Liangaad2b212015-01-05 13:23:04 -0500170 Using the "lbr" method doesn't require any compiler options. It
171 will produce call graphs from the hardware LBR registers. The
172 main limition is that it is only available on new Intel
173 platforms, such as Haswell. It can only get user call chain. It
174 doesn't work with branch stack sampling at the same time.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300175
Namhyung Kim76a26542015-10-22 23:28:32 +0900176 When "dwarf" recording is used, perf also records (user) stack dump
177 when sampled. Default size of the stack dump is 8192 (bytes).
178 User can change the size by passing the size after comma like
179 "--call-graph dwarf,4096".
180
Arnaldo Carvalho de Melob44308f2010-10-26 15:20:09 -0200181-q::
182--quiet::
183 Don't print any message, useful for scripting.
184
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300185-v::
186--verbose::
187 Be more verbose (show counter open errors, etc).
188
189-s::
190--stat::
Namhyung Kim1f91d5f2015-05-10 00:19:42 +0900191 Record per-thread event counts. Use it with 'perf report -T' to see
192 the values.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300193
194-d::
195--data::
Peter Zijlstra56100322015-06-10 16:48:50 +0200196 Record the sample addresses.
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300197
Arnaldo Carvalho de Melo9c90a612010-12-02 10:25:28 -0200198-T::
199--timestamp::
Peter Zijlstra56100322015-06-10 16:48:50 +0200200 Record the sample timestamps. Use it with 'perf report -D' to see the
201 timestamps, for instance.
202
203-P::
204--period::
205 Record the sample period.
Arnaldo Carvalho de Melo9c90a612010-12-02 10:25:28 -0200206
Jiri Olsab6f35ed2016-08-01 20:02:35 +0200207--sample-cpu::
208 Record the sample cpu.
209
Arnaldo Carvalho de Melo386c0b72009-08-05 10:04:53 -0300210-n::
211--no-samples::
212 Don't sample.
Ingo Molnare33e0a42009-04-20 15:58:01 +0200213
Frederic Weisbeckerec7ba4e2009-08-31 03:32:03 +0200214-R::
215--raw-samples::
Frederic Weisbeckerbdef3b02010-04-14 20:05:17 +0200216Collect raw sample records from all opened counters (default for tracepoint counters).
Frederic Weisbeckerec7ba4e2009-08-31 03:32:03 +0200217
Stephane Eranianc45c6ea2010-05-28 12:00:01 +0200218-C::
219--cpu::
Shawn Bohrer08dbd7e2010-11-30 19:57:16 -0600220Collect samples only on the list of CPUs provided. Multiple CPUs can be provided as a
221comma-separated list with no space: 0,1. Ranges of CPUs are specified with -: 0-2.
Stephane Eranianc45c6ea2010-05-28 12:00:01 +0200222In per-thread mode with inheritance mode on (default), samples are captured only when
223the thread executes on the designated CPUs. Default is to monitor all CPUs.
224
Namhyung Kim7a29c082015-12-15 10:49:56 +0900225-B::
226--no-buildid::
227Do not save the build ids of binaries in the perf.data files. This skips
228post processing after recording, which sometimes makes the final step in
229the recording process to take a long time, as it needs to process all
230events looking for mmap records. The downside is that it can misresolve
231symbols if the workload binaries used when recording get locally rebuilt
232or upgraded, because the only key available in this case is the
233pathname. You can also set the "record.build-id" config variable to
234'skip to have this behaviour permanently.
235
Stephane Eraniana1ac1d32010-06-17 11:39:01 +0200236-N::
237--no-buildid-cache::
Masanari Iida96355f22014-09-10 00:18:50 +0900238Do not update the buildid cache. This saves some overhead in situations
Stephane Eraniana1ac1d32010-06-17 11:39:01 +0200239where the information in the perf.data file (which includes buildids)
Namhyung Kim7a29c082015-12-15 10:49:56 +0900240is sufficient. You can also set the "record.build-id" config variable to
241'no-cache' to have the same effect.
Stephane Eraniana1ac1d32010-06-17 11:39:01 +0200242
Stephane Eranian023695d2011-02-14 11:20:01 +0200243-G name,...::
244--cgroup name,...::
245monitor only in the container (cgroup) called "name". This option is available only
246in per-cpu mode. The cgroup filesystem must be mounted. All threads belonging to
247container "name" are monitored when they run on the monitored CPUs. Multiple cgroups
248can be provided. Each cgroup is applied to the corresponding event, i.e., first cgroup
249to first event, second cgroup to second event and so on. It is possible to provide
250an empty cgroup (monitor all the time) using, e.g., -G foo,,bar. Cgroups must have
251corresponding events, i.e., they always refer to events defined earlier on the command
252line.
253
Roberto Agostino Vitillobdfebd82012-02-09 23:21:02 +0100254-b::
Stephane Eraniana5aabda2012-03-08 23:47:45 +0100255--branch-any::
256Enable taken branch stack sampling. Any type of taken branch may be sampled.
257This is a shortcut for --branch-filter any. See --branch-filter for more infos.
258
259-j::
260--branch-filter::
Roberto Agostino Vitillobdfebd82012-02-09 23:21:02 +0100261Enable taken branch stack sampling. Each sample captures a series of consecutive
262taken branches. The number of branches captured with each sample depends on the
263underlying hardware, the type of branches of interest, and the executed code.
264It is possible to select the types of branches captured by enabling filters. The
265following filters are defined:
266
Stephane Eraniana5aabda2012-03-08 23:47:45 +0100267 - any: any type of branches
Roberto Agostino Vitillobdfebd82012-02-09 23:21:02 +0100268 - any_call: any function call or system call
269 - any_ret: any function return or system call return
Anshuman Khandual2e49a942012-05-18 14:16:50 +0530270 - ind_call: any indirect branch
Stephane Eranian43e41ad2015-10-13 09:09:11 +0200271 - call: direct calls, including far (to/from kernel) calls
Roberto Agostino Vitillobdfebd82012-02-09 23:21:02 +0100272 - u: only when the branch target is at the user level
273 - k: only when the branch target is in the kernel
274 - hv: only when the target is at the hypervisor level
Andi Kleen0126d492013-09-20 07:40:42 -0700275 - in_tx: only when the target is in a hardware transaction
276 - no_tx: only when the target is not in a hardware transaction
277 - abort_tx: only when the target is a hardware transaction abort
Anshuman Khandual3e39db42014-05-22 12:50:10 +0530278 - cond: conditional branches
Roberto Agostino Vitillobdfebd82012-02-09 23:21:02 +0100279
280+
Anshuman Khandual3e39db42014-05-22 12:50:10 +0530281The option requires at least one branch type among any, any_call, any_ret, ind_call, cond.
Masanari Iida9c768202012-11-30 14:10:25 +0900282The privilege levels may be omitted, in which case, the privilege levels of the associated
Stephane Eraniana5aabda2012-03-08 23:47:45 +0100283event are applied to the branch filter. Both kernel (k) and hypervisor (hv) privilege
284levels are subject to permissions. When sampling on multiple events, branch stack sampling
285is enabled for all the sampling events. The sampled branch type is the same for all events.
286The various filters must be specified as a comma separated list: --branch-filter any_ret,u,k
287Note that this feature may not be available on all processors.
Roberto Agostino Vitillobdfebd82012-02-09 23:21:02 +0100288
Andi Kleen05484292013-01-24 16:10:29 +0100289--weight::
290Enable weightened sampling. An additional weight is recorded per sample and can be
291displayed with the weight and local_weight sort keys. This currently works for TSX
292abort events and some memory events in precise mode on modern Intel CPUs.
293
Andi Kleen475eeab2013-09-20 07:40:43 -0700294--transaction::
295Record transaction flags for transaction related events.
296
Adrian Hunter3aa59392013-11-15 15:52:29 +0200297--per-thread::
298Use per-thread mmaps. By default per-cpu mmaps are created. This option
299overrides that and uses per-thread mmaps. A side-effect of that is that
300inheritance is automatically disabled. --per-thread is ignored with a warning
301if combined with -a or -C options.
Adrian Hunter539e6bb2013-11-01 15:51:34 +0200302
Arnaldo Carvalho de Meloa6205a32014-01-14 17:58:12 -0300303-D::
304--delay=::
Andi Kleen6619a532014-01-11 13:38:27 -0800305After starting the program, wait msecs before measuring. This is useful to
306filter out the startup phase of the program, which is often very different.
307
Stephane Eranian4b6c5172014-09-24 13:48:41 +0200308-I::
309--intr-regs::
310Capture machine state (registers) at interrupt, i.e., on counter overflows for
311each sample. List of captured registers depends on the architecture. This option
Stephane Eranianbcc84ec2015-08-31 18:41:12 +0200312is off by default. It is possible to select the registers to sample using their
313symbolic names, e.g. on x86, ax, si. To list the available registers use
314--intr-regs=\?. To name registers, pass a comma separated list such as
315--intr-regs=ax,bx. The list of register is architecture dependent.
316
Stephane Eranian4b6c5172014-09-24 13:48:41 +0200317
Andi Kleen85c273d2015-02-24 15:13:40 -0800318--running-time::
319Record running and enabled time for read events (:S)
320
Peter Zijlstra814c8c32015-03-31 00:19:31 +0200321-k::
322--clockid::
323Sets the clock id to use for the various time fields in the perf_event_type
324records. See clock_gettime(). In particular CLOCK_MONOTONIC and
325CLOCK_MONOTONIC_RAW are supported, some events might also allow
326CLOCK_BOOTTIME, CLOCK_REALTIME and CLOCK_TAI.
327
Adrian Hunter2dd6d8a2015-04-30 17:37:32 +0300328-S::
329--snapshot::
330Select AUX area tracing Snapshot Mode. This option is valid only with an
331AUX area tracing event. Optionally the number of bytes to capture per
332snapshot can be specified. In Snapshot Mode, trace data is captured only when
333signal SIGUSR2 is received.
334
Kan Liang9d9cad72015-06-17 09:51:11 -0400335--proc-map-timeout::
336When processing pre-existing threads /proc/XXX/mmap, it may take a long time,
337because the file may be huge. A time out is needed in such cases.
338This option sets the time out limit. The default value is 500 ms.
339
Adrian Hunterb757bb02015-07-21 12:44:04 +0300340--switch-events::
341Record context switch events i.e. events of type PERF_RECORD_SWITCH or
342PERF_RECORD_SWITCH_CPU_WIDE.
343
He Kuang7efe0e02015-12-14 10:39:23 +0000344--clang-path=PATH::
Wang Nan71dc23262015-10-14 12:41:19 +0000345Path to clang binary to use for compiling BPF scriptlets.
He Kuang7efe0e02015-12-14 10:39:23 +0000346(enabled when BPF support is on)
Wang Nan71dc23262015-10-14 12:41:19 +0000347
He Kuang7efe0e02015-12-14 10:39:23 +0000348--clang-opt=OPTIONS::
Wang Nan71dc23262015-10-14 12:41:19 +0000349Options passed to clang when compiling BPF scriptlets.
He Kuang7efe0e02015-12-14 10:39:23 +0000350(enabled when BPF support is on)
351
352--vmlinux=PATH::
353Specify vmlinux path which has debuginfo.
354(enabled when BPF prologue is on)
Wang Nan71dc23262015-10-14 12:41:19 +0000355
Namhyung Kim61566812016-01-11 22:37:09 +0900356--buildid-all::
357Record build-id of all DSOs regardless whether it's actually hit or not.
358
Jiri Olsa85723882016-02-15 09:34:31 +0100359--all-kernel::
360Configure all used events to run in kernel space.
361
362--all-user::
363Configure all used events to run in user space.
364
Wang Naneca857a2016-04-20 18:59:51 +0000365--timestamp-filename
366Append timestamp to output file name.
367
Wang Nan3c1cb7e2016-04-20 18:59:50 +0000368--switch-output::
369Generate multiple perf.data files, timestamp prefixed, switching to a new one
370when receiving a SIGUSR2.
371
372A possible use case is to, given an external event, slice the perf.data file
373that gets then processed, possibly via a perf script, to decide if that
374particular perf.data snapshot should be kept or not.
375
Wang Nan0c1d46a2016-04-20 18:59:52 +0000376Implies --timestamp-filename, --no-buildid and --no-buildid-cache.
Wang Naneca857a2016-04-20 18:59:51 +0000377
Wang Nan0aab2132016-06-16 08:02:41 +0000378--dry-run::
379Parse options then exit. --dry-run can be used to detect errors in cmdline
380options.
381
382'perf record --dry-run -e' can act as a BPF script compiler if llvm.dump-obj
383in config file is set to true.
384
Wang Nan4ea648a2016-07-14 08:34:47 +0000385--tail-synthesize::
386Instead of collecting non-sample events (for example, fork, comm, mmap) at
387the beginning of record, collect them during finalizing an output file.
388The collected non-sample events reflects the status of the system when
389record is finished.
390
Wang Nan626a6b72016-07-14 08:34:45 +0000391--overwrite::
392Makes all events use an overwritable ring buffer. An overwritable ring
393buffer works like a flight recorder: when it gets full, the kernel will
394overwrite the oldest records, that thus will never make it to the
395perf.data file.
396
397When '--overwrite' and '--switch-output' are used perf records and drops
398events until it receives a signal, meaning that something unusual was
399detected that warrants taking a snapshot of the most current events,
400those fitting in the ring buffer at that moment.
401
402'overwrite' attribute can also be set or canceled for an event using
403config terms. For example: 'cycles/overwrite/' and 'instructions/no-overwrite/'.
404
Wang Nan4ea648a2016-07-14 08:34:47 +0000405Implies --tail-synthesize.
406
Ingo Molnare33e0a42009-04-20 15:58:01 +0200407SEE ALSO
408--------
Thomas Gleixner386b05e2009-06-06 14:56:33 +0200409linkperf:perf-stat[1], linkperf:perf-list[1]