// JavaScript Document

        function getIndex(indexer) {
            document.getElementById('action').value = 'index';
            document.getElementById('indexer').value = indexer;
            document.form1.submit();
        }
        function getSearch() {
            document.getElementById('action').value = 'search';
            document.form1.submit();
        }