4 async
function start () {
5 const element_0
= document
.createElementNS('', 's')
6 const svg
= document
.getElementById('id_8')
7 const math
= document
.getElementById('id_20')
8 const selection
= window
.getSelection()
9 const range
= new Range()
10 range
.setStartAfter(math
)
12 range
.selectNodeContents(element_0
)
13 document
.documentElement
.contentEditable
= true
14 range
.setStart(svg
, (2760506212 % svg
.childNodes
))
15 selection
.addRange(range
)
16 document
.execCommand('insertOrderedList', false, null)
17 document
.execCommand('insertParagraph', false, null)
20 document
.addEventListener('DOMContentLoaded', start
)
25 <metadata xml:space='preserve'
>