<html> <script type=“text/javascript”>
function selectText(containerid) { if (document.selection) { var range = document.body.createTextRange(); range.moveToElementText(document.getElementById(containerid)); range.select(); } else if (window.getSelection) { var range = document.createRange(); range.selectNode(document.getElementById(containerid)); window.getSelection().addRange(range); } }
</script> <a href=“#” onclick=“selectText('selectable')”>Select All</a><br/> Save the contents to “Particles.txt”
</html>
=CMD =COMMAND TODO =DESC TODO =ENDDESC =EX TODO =ENDEX =ENDCMD
<html>
</html>