cookie */ menu.val(<span class="searchmatch">sectionName</span>); /* display the subset indicated by the cookie */ chooseCharSubset(<span class="searchmatch">sectionName</span>); <span class="searchmatch">edittools</span>.prepend(menu); } /*...