span class="pn">.</span><span class="id">GetProperties</span><span class="pn">(</span><span class="pn">)</span><span class="pn">.</span><span class="id">Select</span><span class="pn">(</span><span class="k">fun</span> <span class="id">it</span> <span class="k">-&gt;</span> <span class="id">it</span><span class="pn">.</span><span class="id">Name</span><span class="pn">)</span>
    <span class="k">if</span> <span class="pn">(</span><span onmouseout="hideTip(event, 'fs5', 20)" onmouseover="showTip(event, 'fs5'