[
Dom_svg
.lengthList
Js
.t]
Dom_svg
.animated