---

See the Page Index if you cannot find results using this page.""
</div><hr /><textarea id="dumpbox" style="width: 100%; height: 400px"></textarea><script type="text/javascript">
<!--
Added by DunselHodgson to dump the current search term into the Google search box in a (hopefully) wiki-engine-, site-address-, and browser-independant way,
and to insert a direct link to the page searched for at the top of the search results if the search term is a page on the wiki. This is determined by
using AJAX to retrieve a copy of the PageIndex page (which contains links to all the wiki pages enclosed in a div tag with id "pageindex") and se